Prebuild Antlr4 grammer for Metamath.
Info
Version: | 1.5969.18 |
Author(s): | Kevin Gliewe |
Last Update: | Wednesday, December 22, 2021 |
.NET Fiddle: | Create the first Fiddle |
Project Url: | https://kevingliewe.github.io/GCore.Antlr.Grammers/api/GCore.Antlr.Grammers.Metamath.html |
NuGet Url: | https://www.nuget.org/packages/GCore.Antlr.Grammers.Metamath |
Install
Install-Package GCore.Antlr.Grammers.Metamath
dotnet add package GCore.Antlr.Grammers.Metamath
paket add GCore.Antlr.Grammers.Metamath
GCore.Antlr.Grammers.Metamath Download (Unzip the "nupkg" after downloading)
Dependencies
- Antlr4.Runtime.Standard(>= 4.8.0)