| | Mathematical Components (2018) (math-comp.github.io) |
|
3 points by phonebucket on July 25, 2020 | past
|
|
| | Mathematical Components (math-comp.github.io) |
|
1 point by svara on June 26, 2020 | past
|
|
| | Mathematical Components (The Book) (math-comp.github.io) |
|
1 point by lelf on May 28, 2019 | past
|
|
| | Mathematical Components: formalized mathematics for the Coq system (math-comp.github.io) |
|
3 points by adamnemecek on Oct 27, 2018 | past | 1 comment
|
|
| | Mathematical Components: A Coq mathematics library [pdf] (math-comp.github.io) |
|
3 points by MichaelBurge on Sept 5, 2017 | past
|
|
| | Mathematical Components for the Coq system (math-comp.github.io) |
|
106 points by colinprince on Dec 28, 2016 | past | 3 comments
|
|
