cur-test

Build status: ok failing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedMonday, January 23rd, 2023 7:15:48pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/wilbowma/cur.git?path=cur-test#main98f721818c72966df3171a504f14a5e550a6fcfd
Last checkedThursday, November 14th, 2024 7:46:01am (UTC)
Last editedThursday, June 18th, 2020 8:48:52pm (UTC)
Date addedThursday, 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