1 community tagged with “formal math”
Formal mathematics and proof assistant community on Discord.
Browse every platform and category in one place.