michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lean2/tests/lean/t6.lean.expected.out

4 lines
89 B
Text
Raw Permalink Normal View History

feat(frontends/lean/builtin_cmds): remove workaround for getting nice metavariable names in the check command We don't need it anymore after previous commit 2a16050
2014-10-30 20:12:45 +00:00
id : ?A → ?A
refl : (?A → ?A → Prop) → Prop
symm : (?A → ?A → Prop) → Prop
Reference in a new issue Copy permalink