Featured
xaotica/1stproof-logic-audit
Applying Deliberative Informatics Logic (DIL) to the 1stproof.org mathematical challenges
1 contributors
Apache License 2.0
Social mentions
Recent discussions about this repository across the web
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues