HLM mathematical library for the Slate interactive theorem prover
web-app
mathematics
collaboration
proof-assistant
mathematical-expressions
mathematical-logic
formal-mathematics
interactive-theorem-proving
-
Updated
Nov 5, 2022 - Shell