Sign inSign up

tupipa/hol4-poly

By tupipa

•Updated over 9 years ago

HOL4 built with Poly ML.

Image
0

1.2K

tupipa/hol4-poly repository overview

HOL4(https://github.com/HOL-Theorem-Prover/HOL⁠) built with Poly ML(http://www.polyml.org/⁠).

Tag summary

Content type

Image

Digest

Size

266.1 MB

Last updated

over 9 years ago

docker pull tupipa/hol4-poly