There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
FPL - the "Formal Proving Language" is a project to create a universal, human-readable language to formulate mathematical definitions, theorems, and proofs.
