Advertisement
Isabelle
Isabelle - Generic proof assistant that allows mathematical formulas to be expressed in a formal language...
assistant proof assistant proof formalize mathematical proof formal verification
Phenoscape
Link evolution to genomics using phenotype ontologies...
formalize formalize description evolutionary character computable