This is stars and forks stats for /stepchowfun/proofs repository. As of 29 Apr, 2024 this repository has 274 stars and 10 forks.
Proofs This is my personal repository of formally verified mathematics, including results from category theory, type theory, domain theory, etc., and some original research. All the proofs are verified using the Coq proof assistant. If you want to set up your own repository of formally verified mathematics, you can simply fork this repository and replace the contents of the proofs directory with your own proofs. Setting up a Coq project from scratch is not particularly straightforward, so this scaffolding...
Proofs This is my personal repository of formally verified mathematics, including results from category theory, type theory, domain theory, etc., and some original research. All the proofs are verified using the Coq proof assistant. If you want to set up your own repository of formally verified mathematics, you can simply fork this repository and replace the contents of the proofs directory with your own proofs. Setting up a Coq project from scratch is not particularly straightforward, so this scaffolding...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
TIBCOSoftware/flogo | CSSHTMLGo | 2.3k | 0 | 291 | 0 |
emacsorphanage/ov | Emacs LispMakefile | 203 | 0 | 18 | 0 |
eschulte/emacs-web-server | Emacs LispMakefile | 167 | 0 | 28 | 0 |
kiwanami/emacs-epc | Emacs LispPerlOther | 194 | 0 | 27 | 0 |
TERITORI/teritori-chain | GoShellMakefile | 48 | 0 | 93 | 0 |
cloudposse/terraform-aws-iam-user | HCLMakefileGo | 66 | 0 | 55 | 0 |
richfelker/musl-cross-make | MakefileShell | 1.1k | 0 | 233 | 0 |
todotxt/todo.txt-cli | ShellMakefile | 5.3k | 0 | 711 | 0 |
vfarcic/k8s-specs | SmartyHCLShell | 157 | +1 | 229 | 0 |
Xilinx/kria-vitis-platforms | SystemVerilogTclV | 68 | 0 | 35 | 0 |