jonathan-hellwig/Elenchos

A first order real arithmetic theorem prover

语言：Julia · GitHub 星标：5 · Fork：0

话题：theorem-proving

在 GitHub 上查看原仓库