rami3l/PLFaLean

Learn Lean 4 with PLFA proofs.

Language: Lean - Size: 254 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 62 - Forks: 6

FedericoBruzzone/separation-logic-foundations

This repository contains the code for the book Separation Logic Foundations

Language: Coq - Size: 5.22 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

FedericoBruzzone/software-foundations

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

Language: HTML - Size: 8.59 MB - Last synced at: 14 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

d-krylov/software_foundations

Language: Makefile - Size: 19.5 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

chrisnevers/software-foundations

Examples and Exercises From Software Foundations

Language: Coq - Size: 13.7 KB - Last synced at: 12 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

yanhick/coq-exercises

Exercises from software foundation for the Coq proof assistant

Language: Coq - Size: 68.4 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

giacomocavalieri/software-foundations

Code from the "Software Foundations" books

Language: Coq - Size: 273 KB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

minhnhdo/programming-language-foundations-in-idris

Programming language foundations in Idris

Language: Idris - Size: 145 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

The-Wallfacer-Plan/coqL

coq learning

Language: HTML - Size: 2.42 MB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

onelharrison/software-foundations

A program for generating PDFs of the Software Foundations books.

Language: Haskell - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

meduzik/software-foundations-ru

Russian Translation for Software Foundations book.

Language: HTML - Size: 2.63 MB - Last synced at: 9 months ago - Pushed at: about 7 years ago - Stars: 4 - Forks: 1

JeremySorensen/DiscoverCoding

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

Size: 51.8 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

timmyjose-experiments/software_foundations

Working through the Software Foundations course.

Size: 2.93 KB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

vyorkin/sf-ssreflect

:construction: Working through the SF using ssreflect

Language: Coq - Size: 15.6 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

belamenso/software-foundations-solutions

Solutions for books in Software Foundations series

Language: Coq - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 1

yjhmelody/software-foundations

software-foundation

Language: Coq - Size: 2.93 KB - Last synced at: 20 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

luckyuro/sf_exercise

exercises for software foundations

Language: Coq - Size: 60.5 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

chiragbharadwaj/learning-coq

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

Language: Coq - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1