Monday, June 15, 2026

QED or Game Over? – A gamified introduction to theorem proving in Lean

 


-

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Nagradu za najbolju hrvatsku slikovnicu OVCA U KUTIJI 2026.

Slikovnica SVEMOGUĆI ERIK tekst: Irena Zelena, ilustracije: Dušan Pavlić, u užem je izboru stručnog žirija za Nagradu za najbolju hrvatsku s...