Cited By
View all- Rothgang CRabe FBenzmüller C(2023)Theorem Proving in Dependently-Typed Higher-Order LogicAutomated Deduction – CADE 2910.1007/978-3-031-38499-8_25(438-455)Online publication date: 1-Jul-2023
- Kaliszyk CRabe F(2020)A Survey of Languages for Formalizing MathematicsIntelligent Computer Mathematics10.1007/978-3-030-53518-6_9(138-156)Online publication date: 26-Jul-2020
- Bauer AHaselwarter PPetković A(2020)Equality Checking for General Type Theories in Andromeda 2Mathematical Software – ICMS 202010.1007/978-3-030-52200-1_25(253-259)Online publication date: 13-Jul-2020
- Show More Cited By