Continue Reading Post >

Latest Tweets

Towards formal modeling and verification of probabilistic connectors in Coq. ~ X. Zhang, M. Sun https://t.co/oZAtqyqq4F #ITP #Coq
20th July, 2018
A formal proof in Coq of a control function for the inverted pendulum. ~ D. Rouhling https://t.co/P9FhIcyNLd #ITP #Coq
15th July, 2018
Mtac2: Typed tactics for backward reasoning in Coq. ~ J. Kaiser et als. https://t.co/aPx76QFlhX #ITP #Coq
14th July, 2018
Reification by parametricity (Fast setup for proof by reflection, in two lines of Ltac). ~ J. Gross, A. Erbsen, A.… https://t.co/2DtCwuxCOd
14th July, 2018