Authors | |
---|
Documentation | |
---|
Tags | |
---|
License | |
---|
Last updated | Monday, January 23rd, 2023 7:15:47pm (UTC) |
---|
Ring | 1 |
---|
Conflicts | None |
---|
Dependencies | |
---|
Most recent build results | |
---|
Version Exceptions | |
---|
Last checked | Sunday, October 13th, 2024 1:45:04pm (UTC) |
---|
Last edited | Thursday, June 18th, 2020 8:47:45pm (UTC) |
---|
Date added | Thursday, June 18th, 2020 8:47:45pm (UTC) |
---|
Modules | - cur/stdlib/totality.rkt
- cur/stdlib/nat.rkt
- cur/debug/syntax-trace.rkt
- cur/ntac/ML-rewrite.rkt
- cur/ntac/inversion.rkt
- cur/stdlib/pair.rkt
- cur/ntac/base.rkt
- cur/ntac/auto.rkt
- cur/metantac/lang/reader.rkt
- cur/ntac/metantac.rkt
- cur/curnel/reflection.rkt
- cur/ntac/ctx.rkt
- cur/ntac/prove-unify.rkt
- cur/curnel/stxutils.rkt
- cur/stdlib/equality.rkt
- cur/stdlib/prop.rkt
- cur/ntac/standard.rkt
- cur/curnel/coc.rkt
- cur/stdlib/list.rkt
- cur/main.rkt
- cur/stdlib/sigma.rkt
- cur/stdlib/typeclass.rkt
- cur/stdlib/bool.rkt
- cur/ntac/rewrite.rkt
- cur/curnel/lang.rkt
- cur/stdlib/sugar.rkt
- cur/stdlib/sized.rkt
- cur/stdlib/datum.rkt
- cur/olly.rkt
- cur/stdlib/pattern-tree.rkt
- cur/stdlib/axiom.rkt
- cur/stdlib/ascii.rkt
- cur/stdlib/racket-ascii.rkt
- cur/curnel/coc-saccharata.rkt
- cur/metantac/main.rkt
- cur/stdlib/maybe.rkt
- cur/lang/reader.rkt
- cur/curnel/cic-saccharata.rkt
- cur/ntac/utils.rkt
|
---|