Pwp
I am looking forward to teach verification in Lean (including proofs in Veil and Velvet) in a Winter School on Programming with Proofs, which will take place at Neapolis University Pafos on November 18-22, 2025.
I am looking forward to teach verification in Lean (including proofs in Veil and Velvet) in a Winter School on Programming with Proofs, which will take place at Neapolis University Pafos on November 18-22, 2025.