- Referenced in 1807 articles
- Coq is a formal proof management system. It...
- Referenced in 2876 articles
- GAP is a system for computational discrete algebra...
- Referenced in 5124 articles
- The result of over 30 years of cutting...
- Referenced in 5957 articles
- Almost any workflow involves computing results, and that...
- Referenced in 3 articles
- HPCVIEW: A tool for top-down analysis of...
- Referenced in 1678 articles
- GitHub (originally known as Logical Awesome LLC)[3...