Alternatives and similar repositories for sf-lectures:

Users that are interested in sf-lectures are comparing it to the libraries listed below

• coq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆117Updated 3 weeks ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆90Updated 7 months ago
• coq / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆193Updated last month
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆139Updated 4 months ago
• coq-community / hydra-battles
  Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…
  ☆73Updated last month
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆140Updated last month
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆45Updated last year
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆257Updated 7 months ago
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆58Updated 11 months ago
• choukh / Baby-Set-Theory
  Coq集合论中文教程
  ☆44Updated 3 years ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆365Updated this week
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆157Updated 8 months ago
• coq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆342Updated 2 months ago
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆36Updated 5 years ago
• LeifAndersen / PLGradSchools
  ☆227Updated 7 months ago
• MetaCoq / metacoq
  Metaprogramming, verified meta-theory and implementation of Coq in Coq
  ☆426Updated this week
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆101Updated last week
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆250Updated 2 weeks ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆162Updated 3 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆303Updated this week
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆194Updated last week
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆225Updated last week
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆130Updated 4 years ago
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆214Updated this week
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 2 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆73Updated 7 months ago
• teach-plt / plt-errata
  Collection of errata for book Aarne Ranta, Implementing Programming Languages
  ☆12Updated 2 years ago
• coq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated 3 weeks ago