Logitext

MaRDI QIDQ43943swMATHFDO

Official website http://logitext.mit.edu/main

Source code repository https://github.com/ezyang/logitext

Cited in

(2)

• Unbound
• Visual theorem proving with the Incredible Proof Machine

This page was built for software: Logitext