GitHub - 5HT/bertrand: 🧊 Metamath система

Name		Name	Last commit message	Last commit date
Latest commit History 120 Commits
.github/workflows		.github/workflows
examples		examples
.gitignore		.gitignore
CNAME		CNAME
Makefile		Makefile
checker.ml		checker.ml
datatypes.ml		datatypes.ml
elaborator.ml		elaborator.ml
errors.ml		errors.ml
html.ml		html.ml
index.html		index.html
lexer.mll		lexer.mll
logo.svg		logo.svg
parser.ml		parser.ml
prelude.ml		prelude.ml
principia.ml		principia.ml
reader.mly		reader.mly
sexp.ml		sexp.ml