diff options
| author | Josh Chen | 2021-04-10 21:59:42 +0100 |
|---|---|---|
| committer | Josh Chen | 2021-04-10 21:59:42 +0100 |
| commit | d379e77dab3ff6a854b94af47be6098a2ba6ca64 (patch) | |
| tree | ce41db45d492f155a264a2026169c3e0bf42d4cd /hott/Bool_HoTT.thy | |
| parent | 2570ac513160e93d7dde32cecaccc4dfb9398e41 (diff) | |
start hprop stuff
Diffstat (limited to '')
| -rw-r--r-- | hott/Bool_HoTT.thy | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/hott/Bool_HoTT.thy b/hott/Bool_HoTT.thy new file mode 100644 index 0000000..57a57b7 --- /dev/null +++ b/hott/Bool_HoTT.thy @@ -0,0 +1,8 @@ +theory Bool_HoTT +imports + MLTT.Prelude + Propositions + +begin + +end |