-
LeanSyntax Public
A document that describes some relationships between Lean4 syntax and the Calculus of Constructions.
Lean UpdatedApr 8, 2024 -
-
-
linenoise Public
Forked from antirez/linenoiseA small self-contained alternative to readline and libedit
C BSD 2-Clause "Simplified" License UpdatedMay 21, 2021 -
-