fesanmar/j-bob

•Updated over 4 years ago

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

Image

10K+

fesanmar/j-bob repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

Size

33 MB

Last updated

over 4 years ago

docker pull fesanmar/j-bob