search

sdthompson1 / babylon

An experimental new programming language with verification features.
https://www.solarflare.org.uk/babylon
Other
1 stars 0 forks source link

Support TPTP format #14

Open sdthompson1 opened 1 month ago

sdthompson1 commented 1 month ago

This will allow more provers to be used.

It might also help avoid some Vampire syntax errors that I have been seeing.