J-Bob – The proof assistant from “The Little Prover”github.com/the-little-prover59 pointsayberkt11 years ago