共 22 条
[1]
Andronick June, 2019, Formal Methods - The Next 30 Years. Third World Congress, FM 2019. Proceedings. Lecture Notes in Computer Science (LNCS 11800), P11, DOI 10.1007/978-3-030-30942-8_2
[2]
Avigad J., 2014, Theorem Proving in Lean
[4]
The Lean Mathematical Library
[J].
CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS,
2020,
:367-381
[5]
Bourke Timothy, 2012, 11th International Conference, AISC 2012 19th Symposium, Calculemus 2012. Proceedings 5th International Workshop, DML 2012. 11th International Conference, MKM 2012. Systems and Projects, Held as Part of CICM 2012, P32, DOI 10.1007/978-3-642-31374-5_3
[6]
Formalising Perfectoid Spaces
[J].
CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS,
2020,
:299-312
[7]
Cohen C., 2020, Hierarchy Builder: algebraic hierarchies made easy in Coq with Elpi
[8]
Dahmen S.R., 2019, Leibniz International Proceedings in Informatics (LIPIcs), V4, DOI [10.4230/LIPIcs.ITP. 2019.15, DOI 10.4230/LIPICS.ITP.2019.15]
[9]
The Lean Theorem Prover (System Description)
[J].
AUTOMATED DEDUCTION - CADE-25,
2015, 9195
:378-388
[10]
A metaprogramming framework for formal verification
[J].
1600, Association for Computing Machinery (01)