software-foundations

There are 2 repositories under software-foundations topic.

• rami3l / PLFaLean

  Learn Lean 4 with PLFA proofs.

  leanlean4plfaprogramming-language-foundationssoftware-foundations
  Language:Lean 94

• PnVDiscord / software-foundations-lean

  📚 (WIP) Rewriting Software Foundations in Lean 4

  formal-verificationleanprogramming-language-theorysoftware-foundations
  Language:Lean 17

• meduzik / software-foundations-ru

  Russian Translation for Software Foundations book.

  translationcoqsoftware-foundations
  Language:HTML 9

• frankYaohua / Sudoku-Game-by-Coq

  A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.

  coqcoq-gamecoqidegamesoftware-foundationsoftware-foundationssoftwarefoundationssudoku-enginesudoku-gametacticstutorial
  Language:Coq 4

• FedericoBruzzone / software-foundations

  Solutions (in Coq) of the exercises in the software foundation books.

  coqcoq-libraryfunctional-programmingocamlsoftware-foundations
  Language:HTML 3

• chiragbharadwaj / learning-coq

  Learning Coq by following the classic "Software Foundations" texts.

  coqsoftware-foundationslearningverificationfunctional
  Language:Coq 2

• minhnhdo / programming-language-foundations-in-idris

  Programming language foundations in Idris

  software-foundationsprogramming-language-foundationsproofsidris
  Language:Idris 2

• yanhick / coq-exercises

  Exercises from software foundation for the Coq proof assistant

  coqsoftware-foundations
  Language:Coq 2

• onelharrison / software-foundations

  A program for generating PDFs of the Software Foundations books.

  haskellpdfsoftware-foundations
  Language:Haskell 1

• shij-hsu / coq

  coq试验场

  coqsoftware-foundations
  Language:Coq 1

• vyorkin / sf-ssreflect

  :construction: Working through the SF using ssreflect

  coqsoftware-foundationsssreflect
  Language:Coq 1

• JeremySorensen / DiscoverCoding

  Learn computer science and programming with help from an expert with years of professional experience.

  software-developmentsoftware-engineeringsoftware-foundationstutoringeducationprogramming
  0

• luckyuro / sf_exercise

  exercises for software foundations

  software-foundations
  Language:Coq 0

• The-Wallfacer-Plan / coqL

  coq learning

  software-foundations
  Language:HTML 0

• belamenso / software-foundations-solutions

  Solutions for books in Software Foundations series

  coqsoftware-foundationslogic
  Language:Coq

• chrisnevers / software-foundations

  Examples and Exercises From Software Foundations

  coqsoftware-foundations
  Language:Coq

• d-krylov / software_foundations

  rocqsoftware-foundations
  Language:Rocq Prover

• giacomocavalieri / software-foundations

  Code from the "Software Foundations" books

  coqsoftware-foundations
  Language:Coq

• timmyjose-experiments / software_foundations

  Working through the Software Foundations course.

  software-foundations

• yjhmelody / software-foundations

  software-foundation

  coqsoftware-foundations
  Language:Coq