Isabelle

repotechsstarsweeklyforksweekly
openai/miniF2FObjective-C++IsabelleLean207+1390
seL4/l4vIsabelleStandard MLHaskell47001000
elastic/elasticsearch-formal-modelsIsabelleTLATeX2010250
seL4/isabelleIsabelleStandard MLScala1100420
isabelle-utp/UTP-DesignsIsabelle0020
isabelle-utp/UTP-ReactiveIsabelle0010
DeNA/IsarTutorialIsabelle4000
spacekookie/gayMercuryOzIsabelle4390330
riscv/sail-riscvCoqIsabelleStandard ML32101020
rems-project/sailIsabelleStandard MLCoq4740720
input-output-hk/thorn-calculusIsabelleOther2020
CTSRD-CHERI/sail-cheri-riscvIsabelleCoqOther500140
facebookresearch/miniF2FObjective-C++IsabelleLean34090
hwayne/lets-prove-leftpadSystemVerilogCommon LispIsabelle5790560
DSLsofMath/DSLsofMathHaskellTeXHTML3820480

Popular technologies

Popular topics