Formalization of real analysis: a survey of proof assistants and libraries

Math. Struct. Comput. Sci., pp. 1196-1233, 2016.

Cited by: 48|Bibtex|Views6|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments