A Aralex Aachen research explorer

January 20, 2020 conference-paper Open access

Formalising perfectoid spaces

ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

DOI: 10.1145/3372885.3373830 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 40

Methodical and Formally Verified Model-Driven Architecture Refactoring.
2025 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

1

citations
Automated mathematics and the reconfiguration of proof and labor
2024 Bulletin of the American Mathematical Society article Mathematics History and Theory of Mathematics Open access

6

citations

2 results

References 0