Author:
Gunther Emmanuel,Pagano Miguel,Sánchez Terraf Pedro
Publisher
Springer International Publishing
Reference19 articles.
1. Carneiro, M.: The type theory of Lean. Master’s thesis, Carnegie Mellon University, April 2019.
https://github.com/digama0/lean-type-theory/releases/tag/v1.0
2. Annals of Mathematics Studies, no. 3;K Gödel,1940
3. Gunther, E., Pagano, M., Sánchez Terraf, P.: First steps towards a formalization of forcing. In: Accattoli, B., Olarte, C. (eds.) Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, 26–28 September 2018. Electronic Notes in Theoretical Computer Science, vol. 344, pp. 119–136. Elsevier (2018).
https://doi.org/10.1016/j.entcs.2019.07.008
4. Gunther, E., Pagano, M., Sánchez Terraf, P.: Mechanization of separation in generic extensions. arXiv e-prints
arXiv:1901.03313
, January 2019
5. Han, J.M., van Doorn, F.: A formalization of forcing and the unprovability of the continuum hypothesis. In: Harrison, J., O’Leary, J., Tolmach, A. (eds.) 10th International Conference on Interactive Theorem Proving (ITP 2019). Leibniz International Proceedings in Informatics (LIPIcs), vol. 141, pp. 19:1–19:19. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl (2019).
https://doi.org/10.4230/LIPIcs.ITP.2019.19
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献