« first day (1 day earlier)      last day (1130 days later) » 

Guy Coder
Guy Coder
08:33
Andrej Bauer who proposed the site ProofAssistants can be followed on Twitter. twitter.com/andrejbauer
 
2 hours later…
Bubbler
Bubbler
10:18
blainehansen.me/post/my-path-to-magma
Someone out there just had to roll their own proof checker for software formal verification
 
5 hours later…
ice1000
ice1000
15:44
I'm working on github.com/aya-prover/aya-dev and I have a plan regarding cubical type theory about it

« first day (1 day earlier)      last day (1130 days later) »