This is stars and forks stats for /EuroProofNet/ATP repository. As of 29 Apr, 2024 this repository has 2 stars and 1 forks.
EuroProofNet WG2 on Automated Theorem Provers EuroProofNet is the European research network on digital proofs. EuroProofNet aims at boosting the interoperability and usability of proof systems. EuroProofNet is a COST action started on November 2021 gathering more than 220 researchers from 30 different countries. The aim of working group 2 (WG 2) is to promote the output of detailed, checkable proofs from automated theorem provers. Work is under way for FOL/HOL theorem provers and SMT solvers, but...
EuroProofNet WG2 on Automated Theorem Provers EuroProofNet is the European research network on digital proofs. EuroProofNet aims at boosting the interoperability and usability of proof systems. EuroProofNet is a COST action started on November 2021 gathering more than 220 researchers from 30 different countries. The aim of working group 2 (WG 2) is to promote the output of detailed, checkable proofs from automated theorem provers. Work is under way for FOL/HOL theorem provers and SMT solvers, but...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| CannedGrape/oi | Rich Text FormatPascalHTML | 306 | 0 | 171 | 0 |
| wikimedia/wikipedia-ios | SwiftObjective-CHTML | 2.8k | 0 | 718 | 0 |
| shayonj/pg_easy_replicate | RubyShellDockerfile | 728 | 0 | 7 | 0 |
| iotaledger/iota-wiki | TypeScriptJavaScriptCSS | 92 | +2 | 254 | +2 |
| dokuwiki/dokuwiki | PHPJavaScriptCSS | 3.8k | 0 | 831 | 0 |
| okp4/team-wiki | SCSSJavaScriptMDX | 3 | 0 | 0 | 0 |
| wikimedia/apps-android-wikipedia | KotlinJavaOther | 2k | 0 | 566 | 0 |
| ietf/wiki.ietf.org | Rich Text FormatHTMLJava | 8 | 0 | 44 | 0 |
| theonlyNischal/Ultimate-Notes-Books-Resources-for-NCIT | HTMLJavaRich Text Format | 208 | +1 | 233 | -1 |
| pnp/provision-assist-m365 | PowerShellBicep | 30 | 0 | 5 | 0 |