Continue Reading Post >

Latest Tweets

A certified reference validation mechanism for the permission model of Android. ~ G. Betarte et als. https://t.co/qt4KpxlGcc #Coq #Haskell
17th September, 2017
Certified password quality: a case study using #Coq and Linux pluggable authentication modules. ~ JF Ferreira et als https://t.co/4qpyOzMojD
16th September, 2017
Some #Coq users wonder how can #Agda be usable without tactics. They forget that Agda's dependent pattern matching *is* a powerful tactic.
14th September, 2017
@IWalker1976 @KrisBuytaert @Sjig It should be open source, and flawless. So formally proven in #Coq, for instance.… https://t.co/mGFeyfK4CA
13th September, 2017