fesanmar/j-bob

•Updated over 4 years ago

Dockerized J-Bob, the proof assistant from "The Little Prover" by Daniel P.

Image

10K+

Tags for fesanmar/j-bob

Sort by

TAG

latest

Last pushed over 4 years by fesanmar

docker pull fesanmar/j-bob:latest

Digest	OS/ARCH	Compressed size
2fd039a447c8	linux/amd64	33.01 MB