User:ChristophLange

From Isabelle Community Wiki
Jump to: navigation, search

I'm using Isabelle to formalise auctions and to generate verified auction software.