3 followers
@xldenis and they're not alone: https://t.co/NBa5MP3X8d
@xldenis and they're not alone: https://t.co/NBa5MP3X8d
@graydon_pub Check out the abstract! https://t.co/mGPlZz5dEM
RT @Jose_A_Alonso: The Tactician (extended version): A seamless, interactive tactic learner and prover for Coq. ~ Lasse Blaauwbroek, Josef…
The Tactician (extended version): A seamless, interactive tactic learner and prover for Coq. ~ Lasse Blaauwbroek, Josef Urban, Herman Geuvers. https://t.co/7pkO6b9da5 #ITP #Coq #MachineLearning