Nelson-Oppen support for lra
Showing
- Makefile 9 additions, 5 deletionsMakefile
- README.md 5 additions, 2 deletionsREADME.md
- _CoqProject_ml 2 additions, 1 deletion_CoqProject_ml
- test-suite/no_test_lia.v 1 addition, 2 deletionstest-suite/no_test_lia.v
- theories/Itauto.v 9 additions, 1 deletiontheories/Itauto.v
- theories/NOlia.v 6 additions, 14 deletionstheories/NOlia.v
- theories/NOlra.v 30 additions, 0 deletionstheories/NOlra.v
Loading
Please register or sign in to comment