abella-prover/abella Issues
false can be proved
Closed 6Handling equalities is way too painful
Updated 10`unfold id n` tactic
Updated 1Website is offline
Closed 2Basic tactical support
Updated 1Search hangs
Updated 6substitution in equality
Updated 8Implement compute
UpdatedMove from ocamlbuild to dune
Closed 1Assertion failure in term.ml
Closed 6Failure of weakening?
Updated 3Unprovable statement
Closed 5Search depth exceeded
Updated 2`unfold n` fails to match
Closed 2