[Turkmath:6483] Proof Assistants

H. Turgay Kaptanoglu kaptan at fen.bilkent.edu.tr
Thu May 2 18:41:07 UTC 2024

Previous message: [Turkmath:6482] Fwd: Re: [TMD-UYE: 3996] çok üzgünüm....
Next message: [Turkmath:6484] Timur Karaçay
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

https://lean-lang.org/
https://en.wikipedia.org/wiki/Lean_(proof_assistant)

https://coq.inria.fr/

=====
H. Turgay Kaptanoğlu
www.fen.bilkent.edu.tr/~kaptan/

Previous message: [Turkmath:6482] Fwd: Re: [TMD-UYE: 3996] çok üzgünüm....
Next message: [Turkmath:6484] Timur Karaçay
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Turkmath mailing list