Babel-17A coding language | |
Download |
Babel-17 Ranking & Summary
Advertisement
Babel-17 Tags
Babel-17 Description
Babel-17 is both a programming language and a language for writing up formal proofs. It is also an interactive theorem prover based on the Babel-17 language. Get Babel-17 and test it for yourself to see what it can actually do!
Babel-17 Related Software