Software Engineer (Scala/ZIO/Rust), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
Pinned Loading
-
fpinscala
fpinscala PublicForked from fpinscala/fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
Scala
-
interactive_theorem_proving_and_program_development
interactive_theorem_proving_and_program_development PublicCode and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)
-
categories-and-categorical-logic
categories-and-categorical-logic PublicSome notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.
-
coinductive-types
coinductive-types PublicCode and examples based on the tutorial 'A Tutorial on [Co-]Inductive Types in Coq' by Eduardo Giménez and Pierre Castéran
Coq
-
cpdt
cpdt PublicCode and examples based on the book 'Certified Programming with Dependent Types' (version: June 30, 2016) by Adam Chlipala.
Coq
-
algebra-chapter0
algebra-chapter0 PublicSolutions to exercises in the book 'Algebra - Chapter 0' by Paolo Aluffi.
TeX 5
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.