SReichelt/slate-hlm

HLM mathematical library for the Slate interactive theorem prover

语言：Shell · GitHub 星标：4 · Fork：1

话题：collaboration · formal-mathematics · interactive-theorem-proving · mathematical-expressions · mathematical-logic · mathematics · proof-assistant · web-app

在 GitHub 上查看原仓库