Software Foundations being translated to Lean

Posted 2 hours ago by navidhg
3 points

https://leanprover.zulipchat.com/#narrow/channel/579630-Project-announcements/topic/Software.20Foundations.20in.20Lean.3A.20Call.20for.20Contributions/with/604191988

1 comments

Loading..