Skip to main content
Proof Assistants Beta

About

Ask Question
Tag Info
Info Newest Frequent Score Active Unanswered

Use this tag for J-Bob, a proof assistant from the book "The Little Prover" by Daniel P. Friedman and Carl Eastlund (2015)

J-Bob is the proof assistant from the book "The Little Prover" by Daniel P. Friedman and Carl Eastlund (2015).

See: https://github.com/the-little-prover/j-bob

History Excerpt history