The following pages link to (Q4539626):
Displaying 5 items.
- P.rex (Q33152) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems (Q2867939) (← links)
- An interactive derivation viewer (Q2867942) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)