search

XmacsLabs / mogan

Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!
https://mogan.app
GNU General Public License v3.0
383 stars 31 forks source link

Plugin for Lean Theorem Prover #13

Closed YiqiXu closed 8 months ago

da-liii commented 8 months ago

It should be implemented out of the mogan repo.