Laplace-Demon / LaTex-Parser Public

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

A lexer of (a subset of) LaTex mathematical formulas along with a parser into Coq objects.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.gitignore		.gitignore
LICENSE		LICENSE
M.l		M.l
M.y		M.y
Makefile		Makefile
README.md		README.md
flex.h		flex.h
func.c		func.c
func.h		func.h
main.c		main.c

Repository files navigation

LaTex-Parser

A lexer of (a subset of) LaTex mathematical formulas along with a parser into Coq objects.

About

A lexer of (a subset of) LaTex mathematical formulas along with a parser into Coq objects.

Report repository

Releases

No releases published

Packages

No packages published

Languages