Old Web
English
Sign In
Acemap
>
Paper
>
Interactive Theorem Proving for Logic and Information
Interactive Theorem Proving for Logic and Information
2022
Jørgen Villadsen
Asta Halkjær From
Alexander Birch Jensen
Anders Schlichtkrull
Keywords:
Proof assistant
Computer science
Calculus
Correction
Source
Cite
Save
Machine Reading By IdeaReader
55
References
0
Citations
NaN
KQI
[]