Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

VictorTaelin/Cedille-Core

A minimal proof language.

Owner
VictorTaelin (personal account)
Stars
Stars: 220
Forks
Forks: 15
Language
JavaScript
License
MIT
Created
2018
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

More repos by VictorTaelin

All 15 repos by VictorTaelin

Nearby in JavaScript

All JavaScript repos