Issues
- 2
Incorrect translation of duplicate binder names
#100 opened by dranov - 3
- 3
Usage instructions in README give linking errors
#118 opened by dranov - 2
Failure to run `lake build smt`
#115 opened by zhuanhao-wu - 3
Failing to translate `DecidableEq`
#97 opened by dranov - 1
- 2
Stable
#74 opened by AdrienChampion - 1
- 0
Add all QF_BV builtins
#41 opened by Vtec234 - 2
Issues with transforming QF_BV
#29 opened by Vtec234 - 0
Define-fun from local declarations
#23 opened by Vtec234 - 0
Certifying transformations and local definitions
#34 opened by Vtec234 - 0
Support Vampire
#25 opened by Vtec234 - 1
Choosing which formulas and terms to encode
#20 opened by Vtec234