Sunbelt Computer Software

hol4-docker

Public

• NotificationsYou must be signed in to change notification settings
• Fork0 (0)
• Star0 (0)You must be signed in to star a repository

About

Dockerfiles to build HOL4 (https://github.com/HOL-Theorem-Prover/HOL)

Topics

hol4

Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks

Report repository

master

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

7 Commits

7 Commits

Folders and files

Name		Name	Last commit message	Last commit date
docker-hol4-mosml		docker-hol4-mosml
docker-hol4-poly		docker-hol4-poly
magnus myreen		magnus myreen
.gitignore		.gitignore
View all files

About

Dockerfiles to build HOL4 (https://github.com/HOL-Theorem-Prover/HOL)

Topics

hol4

Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks

Report repository

Releases

Packages

Contributors

Languages