epfl formal-methods lisa proof-assistant proof-system sequent-calculus set-theory

bed bedops bioinformatics c c-plus-plus compression conversion genomics parallel pipeline set set-theory toolkit