SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Repository Index
71,372 visible repositories in the index
1–2 of 2 · Most stars
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language