Learn Lean 4 with PLFA proofs.
-
Updated
May 2, 2024 - Lean
Learn Lean 4 with PLFA proofs.
Solutions (in Coq) of the exercises in the software foundation books.
A program for generating PDFs of the Software Foundations books.
A Sudoku game developed by Coq from the mathematical proof perspective for CS386L Final Project.
Learn computer science and programming with help from an expert with years of professional experience.
Solutions for books in Software Foundations series
Programming language foundations in Idris
Exercises from software foundation for the Coq proof assistant
Russian Translation for Software Foundations book.
Learning Coq by following the classic "Software Foundations" texts.
Add a description, image, and links to the software-foundations topic page so that developers can more easily learn about it.
To associate your repository with the software-foundations topic, visit your repo's landing page and select "manage topics."