3 ms·
Isabelle also has code generation facilities and very good tooling, and uses classical logic.
by auggierose 6y ago
Isabelle also has code generation facilities and very good tooling, and uses classical logic.
- vcdimension 6y agoThankyou, I'll have a look.