Versions

Repository

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

Project Slug

formality-lang

Last Built

4 weeks, 1 day ago passed

Maintainers

Home Page

https://github.com/moonad/Formality

Badge

Tags

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

Project Privacy Level

Public

Short URLs

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

Default Version

latest

'latest' Version

master