n3a9 / veraLinks

Winner of LA Hack's Award Best Use of Wolfram Tech 🎉 An AI system to determine if a given statement is true or false.
18Updated 6 years ago

Alternatives and similar repositories for vera

Users that are interested in vera are comparing it to the libraries listed below

Sorting: