pl/logical-foundations
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
logical-foundations/_CoqProject

2 lines
8 B
Text
Raw Permalink Normal View History

some induction + lists
2020-06-04 09:16:57 +00:00
-Q . LF
Reference in a new issue Copy permalink