Tomáš's webnest - 23 May 2022

23 May 2022 #theorem-proving, #agda

Just learned about F*. Looks very interesting. I wonder how it compares to Coq, Agda, Lean, ...

JavaScript needs to be enabled to show responses. (Although, it is not necessary for posting them.)