Repository

https://github.com/moonad/docs.formality-lang.org.git

Project Slug

formality-lang

Last Built

1 year, 3 months ago passed

Maintainers

Home Page

https://github.com/moonad/Formality

Badge

Tags

functional-programming, interaction-combinators, formality, proof-language

Short URLs

formality-lang.readthedocs.io
formality-lang.rtfd.io

Default Version

latest

'latest' Version

master