SReichelt / slate-hlm

HLM mathematical library for the Slate interactive theorem prover

https://sreichelt.github.io/slate

Geek Repo

Github PK Tool