Isabelle

repotechsstarsweeklyforksweekly
openai/miniF2FObjective-C++IsabelleLean1830340
seL4/l4vIsabelleStandard MLHaskell4470920
elastic/elasticsearch-formal-modelsIsabelleTLATeX1920240
seL4/isabelleIsabelleStandard MLScala1070400
dfinity/interface-specIsabelleNixShell280180
isabelle-utp/UTP-DesignsIsabelle0020
isabelle-utp/UTP-ReactiveIsabelle0010
DeNA/IsarTutorialIsabelle4000
spacekookie/gayMercuryOzIsabelle4200260
riscv/sail-riscvCoqIsabelleStandard ML2810860
rems-project/sailStandard MLIsabelleCoq4240630
input-output-hk/thorn-calculusIsabelleOther2020
CTSRD-CHERI/sail-cheri-riscvIsabelleCoqOther410120
facebookresearch/miniF2FObjective-C++IsabelleLean22050
hwayne/lets-prove-leftpadSystemVerilogCommon LispIsabelle5440540

Popular technologies

Popular topics