Giters

suhr / tmath

Home Page:https://suhr.github.io/tmath/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lean4mathtype-theorybookmathematics

This repository is not active

About

https://suhr.github.io/tmath/

lean4mathtype-theorybookmathematics

Languages

Language:Lean 51.2%Language:TeX 31.5%Language:Makefile 8.6%Language:Python 5.9%Language:Nix 2.9%