max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

test: HasBeq Nat instance

Browse source
This commit is contained in:
Leonardo de Moura 2019-12-11 18:09:23 -08:00
parent 34332ecaa9
commit d6b4b96ab8
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
tests/lean/run/frontend1.lean
View file

@ -27,6 +27,7 @@ pure "hello"
#eval run "#check HasAdd.add one two"
#eval run "#check one + two > one ∧ True"
#eval run "#check act1 >>= IO.println"
#eval run "#check one + two == one"
#eval run
"universe u universe v