github-linguist / github-linguist/linguist
Add support for Metamath
Open
Add Language
Good First Issue
- Dominant language
- Ruby
- Stars
- 13.7k
- Forks
- 5.4k
- Avg merge
- 1d 15h
- Merged PRs (30d)
- 17
Description
> [Metamath](https://us.metamath.org/) is a simple and flexible computer-processable language that supports rigorously verifying, archiving, and presenting mathematical proofs.
## Language name
Metamath
## URL of example repository
https://github.com/metamath/set.mm
## URL of syntax highlighting grammar
https://github.com/vsannier/metamath-databases/blob/main/misc/metamath.sublime-syntax
## Most popular extensions
`.mm`
## Detected language
Objective C++
Contributor guide
Assessment
This issue has not been assessed yet.