• J-Bob – The proof assistant from “The Little Prover” https://github.com/the-little-prover/j-bob 4 comments 27/7/2015

Linking pages

Related searches:

Search whole site: site:github.com

Search title: GitHub - the-little-prover/j-bob

See how to search.