Litex: Formal math for everyone – set theory examples with Lean comparison

5 points

by litexlang

2 days ago

1 comments