HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Feit-Thompson theorem, major result of group theory, formally certified with Coq
msr-inria.inria.fr
discuss
14 years ago
weinzierl
9 points
2.
▲
Feit-Thompson theorem formally certified using the Coq proof assistant
msr-inria.inria.fr
discuss
14 years ago
mepcotterell
4 points
3.
▲
Dynamic Dictionary of Mathematical Functions
ddmf.msr-inria.inria.fr
discuss
12 years ago
infruset
2 points
4.
▲
Fixing a MongoDB Replication Protocol Bug with TLA+ (2019) [pdf]
tla.msr-inria.inria.fr
discuss
4 years ago
eatonphil
2 points
5.
▲
TLA+ Proof System
tla.msr-inria.inria.fr
discuss
9 years ago
based2
2 points