Lean Together 2021 – A meeting for Lean users and other formalizers (leanprover-community.github.io) 2 points by mauricioc 5y ago ↗ HN
0 comments
[ 2.7 ms ] story [ 7.5 ms ] threadNo comments yet.