For coq.8.13
Showing
- Makefile 2 additions, 2 deletionsMakefile
- _CoqProject 1 addition, 1 deletion_CoqProject
- opam 2 additions, 2 deletionsopam
- src/cdcl_plugin.mlpack 0 additions, 1 deletionsrc/cdcl_plugin.mlpack
- src/g_cdcl.mlg 2 additions, 1 deletionsrc/g_cdcl.mlg
- theories/Itauto.v 3 additions, 1 deletiontheories/Itauto.v
Loading
Please register or sign in to comment