Pages that link to "Item:Q704001"
From MaRDI portal
The following pages link to Computer theorem proving in mathematics (Q704001):
Displaying 6 items.
- Explaining Gabriel-Zisman localization to the computer (Q861700) (← links)
- On the shape of mathematical arguments (Q1188723) (← links)
- First steps towards a formalization of forcing (Q2333671) (← links)
- On the formalization of gamma function in HOL (Q2352499) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers (Q5195277) (← links)
