BlackHC / dart_metamath_naive Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Naive/shoddy implementation of MetaMath in Dart

BSD-3-Clause license

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
lib/src		lib/src
test		test
tool		tool
.analysis_options		.analysis_options
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
metamath.g4		metamath.g4
pubspec.yaml		pubspec.yaml

Repository files navigation

blackhc_dart_metamath

A PoC that shows or doesn't show how to write a Metamath parsers and interpreter.

About

Naive/shoddy implementation of MetaMath in Dart

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages