Published 2020-07-28T14:41:00Z by Physics Derivation Graph
https://cicm-conference.org/2020/cicm.phpnatural language | presentation | semantic | controlled natural languages | proof assistants |
speaking | Latex | CAS | ForTheL | Coq |
written text | presentation MathML | sTeX | Mizar | Lean |
Isabelle |