Maksym Bortin's repositories
a_framework
A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
Language:IsabelleNOASSERTION000
synthesis
Synthesis of implementations for divide-and-conquer specifications
Language:IsabelleGPL-3.0000