Continue Reading Post >

Latest Tweets

A certified reference validation mechanism for the permission model of Android. ~ G. Betarte et als. #Coq #Haskell
17th September, 2017
Certified password quality: a case study using #Coq and Linux pluggable authentication modules. ~ JF Ferreira et als
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.…
13th September, 2017