Skip to content

Commit

Permalink
Start port of material about f.o. compactness from HOL Light
Browse files Browse the repository at this point in the history 
See commit

jrh13/hol-light@013324a

Thanks to John for making this available (some of it is behind his
TPHOLs 1998 paper.)
  • Loading branch information
@mn200
mn200 committed Jul 29, 2019
1 parent 2bc2f0b commit 97dbc36
Show file tree
Hide file tree
Showing 4 changed files with 1,452 additions and 0 deletions.

0 comments on commit 97dbc36

Please sign in to comment.