Pinned

1. fpinscala fpinscala Public

   Forked from fpinscala/fpinscala

   Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

   Scala

2. interactive_theorem_proving_and_program_development interactive_theorem_proving_and_program_development Public

   Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)

   Coq 2 1

3. categories-and-categorical-logic categories-and-categorical-logic Public

   Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.

   TeX 1 1

4. coinductive-types coinductive-types Public

   Code and examples based on the tutorial 'A Tutorial on [Co-]Inductive Types in Coq' by Eduardo Giménez and Pierre Castéran

   Coq

5. cpdt cpdt Public

   Code and examples based on the book 'Certified Programming with Dependent Types' (version: June 30, 2016) by Adam Chlipala.

   Coq

6. algebra-chapter0 algebra-chapter0 Public

   Solutions to exercises in the book 'Algebra - Chapter 0' by Paolo Aluffi.

   TeX 4