Conjecture finder - Githubissues

jamesdabbs / pi-base.hs

A Haskell-powered modernization of Counterexamples in Topology

MIT License

39 stars 5 forks source link

Open jamesdabbs opened 10 years ago

jamesdabbs commented 10 years ago

We could in theory generate simple theorems and list those without any counterexamples (esp. if they do have examples).