Authors | |
---|
Documentation | |
---|
Tags | |
---|
License | |
---|
Last updated | Monday, January 23rd, 2023 7:15:48pm (UTC) |
---|
Ring | 1 |
---|
Conflicts | None |
---|
Dependencies | |
---|
Most recent build results | |
---|
Version Exceptions | |
---|
Last checked | Thursday, November 14th, 2024 7:46:01am (UTC) |
---|
Last edited | Thursday, June 18th, 2020 8:48:52pm (UTC) |
---|
Date added | Thursday, June 18th, 2020 8:48:52pm (UTC) |
---|
Modules | - cur/tests/ntac/destruct.rkt
- cur/tests/ntac/Induction-no-Basics.rkt
- cur/tests/issue-95.rkt
- cur/tests/stdlib/prop.rkt
- cur/tests/stdlib/racket-ascii.rkt
- cur/tests/ntac/ML-rewrite-2.rkt
- cur/tests/stdlib/typeclass.rkt
- cur/tests/ntac/software-foundations/Tactics-unfolding.rkt
- cur/tests/ntac/software-foundations/Basics-ML.rkt
- cur/tests/stdlib/list.rkt
- cur/tests/ntac/software-foundations/IndProp.rkt
- cur/tests/ntac/ctx.rkt
- cur/tests/ntac/rewrite-with-previous.rkt
- cur/tests/issue67.rkt
- cur/tests/ntac/implicit.rkt
- cur/tests/ntac/rewrite-in.rkt
- cur/tests/stdlib/axiom.rkt
- cur/tests/curnel/reflection.rkt
- cur/tests/stdlib/maybe.rkt
- cur/tests/ntac/inversion.rkt
- cur/tests/wilbowma.rkt
- cur/tests/stdlib/pattern-tree-matcher.rkt
- cur/tests/stdlib/sized.rkt
- cur/tests/ntac/reflexivity-poly.rkt
- cur/tests/ntac/software-foundations/Logic.rkt
- cur/tests/stdlib/totality.rkt
- cur/tests/ntac/issue104.rkt
- cur/tests/ntac/generalize.rkt
- cur/tests/olly.rkt
- cur/tests/ntac/software-foundations/Tactics-destruct.rkt
- cur/tests/stdlib/sigma.rkt
- cur/tests/issue-60.rkt
- cur/tests/ntac/auto.rkt
- cur/tests/ntac/software-foundations/Poly-church.rkt
- cur/tests/ntac/software-foundations/Induction.rkt
- cur/tests/ntac/admit.rkt
- cur/tests/ntac/software-foundations/Regex2.rkt
- cur/tests/stdlib/datum.rkt
- cur/tests/stdlib/termination.rkt
- cur/tests/stdlib/rackunit-size.rkt
- cur/tests/stdlib/pattern-tree.rkt
- cur/tests/ntac/software-foundations/Maps.rkt
- cur/tests/ntac.rkt
- cur/tests/ntac/rewrite.rkt
- cur/tests/ntac/software-foundations/Basics.rkt
- cur/tests/ntac/simpl.rkt
- cur/tests/ntac/leb.rkt
- cur/tests/stdlib/ascii.rkt
- cur/tests/stlc.rkt
- cur/tests/ntac/rewrite-forall.rkt
- cur/tests/ntac/software-foundations/Lists.rkt
- cur/tests/ntac/software-foundations/Tactics-inversion.rkt
- cur/tests/ntac/software-foundations/Poly-abbrv.rkt
- cur/tests/ntac/software-foundations/Imp.rkt
- cur/tests/ntac/ML-rewrite.rkt
- cur/tests/fact.rkt
- cur/tests/ntac/assert.rkt
- cur/tests/stdlib/deppat.rkt
- cur/tests/curnel/equality.rkt
- cur/tests/ntac/interactive.rkt
- cur/tests/ntac/software-foundations/Induction-ML.rkt
- cur/tests/stlc-olly.rkt
- cur/tests/stdlib/sugar.rkt
- cur/tests/ntac/software-foundations/Tactics3.rkt
- cur/tests/curnel/cic-saccharata.rkt
- cur/tests/stdlib/nat.rkt
- cur/tests/stdlib/pat.rkt
- cur/tests/stdlib/bool.rkt
- cur/tests/ntac/software-foundations/Poly-pairs.rkt
- cur/tests/stdlib/curunit.rkt
- cur/tests/plus.rkt
- cur/tests/curnel/datatypes.rkt
- cur/tests/issue-134.rkt
- cur/tests/stdlib/equality.rkt
- cur/tests/ntac/rackunit-ntac.rkt
- cur/tests/ntac/destruct-exist.rkt
- cur/tests/ntac/software-foundations/Tactics.rkt
- cur/tests/ntac/software-foundations/Regex.rkt
- cur/tests/issue-71.rkt
- cur/tests/ntac/software-foundations/Imp-var.rkt
- cur/tests/ntac/software-foundations/Poly.rkt
- cur/tests/ntac/ML-reflexivity.rkt
- cur/tests/vector-append.rkt
- cur/tests/ntac/induction.rkt
- cur/tests/sweet-exp.rkt
|
---|