Replies to message #6,368

  • 🏰 Deploying update to the Tatarus security page. If you encounter issues, post here.
Horpach

Programming thread

Used Coq and Lean quite a bit before. Why?
Back
Top Bottom