Login / Signup

Formalizing IMO Problems and Solutions in Isabelle/HOL.

Filip MaricSana Stojanovic-Durdevic
Published in: ThEdu@IJCAR (2020)
Keyphrases