LetIn in proof term
Showing
- benchmark/Makefile 0 additions, 5 deletionsbenchmark/Makefile
- issues/issue_2.v 7 additions, 10 deletionsissues/issue_2.v
- src/cdcl.ml 63 additions, 24 deletionssrc/cdcl.ml
- theories/Formula.v 150 additions, 67 deletionstheories/Formula.v
- theories/Itauto.v 26 additions, 11 deletionstheories/Itauto.v
- theories/PatriciaR.v 21 additions, 15 deletionstheories/PatriciaR.v
Loading
Please register or sign in to comment