Skip to content

IlmariReissumies/nominal-hol

Folders and files

NameName
Last commit message
Last commit date

Latest commit

eb30f16 · Nov 24, 2016

History

3 Commits
Nov 24, 2016
Nov 24, 2016

Repository files navigation

nominal-hol

Embedding of HOL Light in Nominal Isabelle

About

Embedding of HOL Light in Nominal Isabelle

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published