/
lemm.ee
Search
Explore
Create
Formal Methods
armchair_progamer
•
1y ago
•
100%
Lean/Coq/Isabel and Their Proof Trees
https://lakesare.brick.do/lean-coq-isabel-and-their-proof-trees-yjnd2O2RgxwV
5
0
Comments
0
Hot
Top
New