bookmark

Learning to prove theorems via interacting with proof assistants – the morning paper

https://blog.acolyer.org/2019/08/23/learning-to-prove-theorems-via-interacting-with-proof-assistants/

Please log in to take part in the discussion (add own reviews or comments).