Continue Reading Post >

Latest Tweets

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