This is stars and forks stats for /coq-community/goedel repository. As of 08 May, 2024 this repository has 27 stars and 3 forks.
Goedel A proof in Coq of the Gödel-Rosser 1st incompleteness theorem, which says that any first order theory extending NN (which is PA without induction) that is complete is inconsistent. Meta Author(s): Russell O'Connor (initial) Coq-community maintainer(s): Pierre Castéran (@Casteran) License: MIT License Compatible Coq versions: 8.13 or later Additional dependencies: Hydra Battles CoqPrime Coq namespace: Goedel Related publication(s): Essential Incompleteness of Arithmetic Verified by Coq doi:10.1007/11541868_16 Building...
Goedel A proof in Coq of the Gödel-Rosser 1st incompleteness theorem, which says that any first order theory extending NN (which is PA without induction) that is complete is inconsistent. Meta Author(s): Russell O'Connor (initial) Coq-community maintainer(s): Pierre Castéran (@Casteran) License: MIT License Compatible Coq versions: 8.13 or later Additional dependencies: Hydra Battles CoqPrime Coq namespace: Goedel Related publication(s): Essential Incompleteness of Arithmetic Verified by Coq doi:10.1007/11541868_16 Building...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| shirayu/whispering | PythonMakefile | 647 | 0 | 56 | 0 |
| palera1n/palera1n | CMakefileAssembly | 3.9k | 0 | 535 | 0 |
| musaprg/runzigc | ZigCShell | 14 | 0 | 1 | 0 |
| Idov31/Cronos | CAssemblyYARA | 487 | 0 | 57 | 0 |
| tweag/HaskellR | HaskellRJupyter Notebook | 576 | 0 | 45 | 0 |
| gonzalezreal/MarkdownUI | SwiftMakefile | 1.7k | +30 | 159 | +6 |
| slindberg/dotvim | Vim ScriptMakefile | 1 | 0 | 0 | 0 |
| DavidBuchanan314/monomorph | CC++Python | 767 | 0 | 63 | 0 |
| xiph/opus | CCMakeM4 | 1.9k | 0 | 533 | 0 |
| ARM-software/arm-trusted-firmware | CAssemblyMakefile | 1.7k | 0 | 1.3k | 0 |