Repositories list

• agda-algebras

  Public
  The Agda Universal Algebra Library (html docs available at the url below)

  Agda

  •

  Creative Commons Attribution Share Alike 4.0 International

  •7•0•0•0•Updated Dec 9, 2021Dec 9, 2021

• uh-mfc

  Public
  UH Circle on the Mathematical Foundations of Computing

  HTML

  •1•0•0•0•Updated May 19, 2017May 19, 2017

• types-slides

  Public
  Slides for crash course on Type Theory

  HTML

  •0•2•1•0•Updated Apr 2, 2017Apr 2, 2017

• bootcamp

  Public
  resources for spring break bootcamp

  TeX

  •0•0•0•0•Updated Mar 31, 2017Mar 31, 2017

• lam-cal-slides.js

  Public
  Slides for crash course on lambda calculus

  JavaScript

  •

  MIT License

  •0•0•0•0•Updated Mar 31, 2017Mar 31, 2017

• logic

  Public
  notes on logic, proofs, and algorithms

  TeX

  •0•0•0•0•Updated Feb 16, 2017Feb 16, 2017

• lat-nae-3sat

  Public
  coatoms in filters of partition lattices

  TeX

  •0•0•0•0•Updated Jan 13, 2017Jan 13, 2017

• nae-3sat-scala

  Public
  Scala

  •0•0•0•0•Updated Jan 12, 2017Jan 12, 2017

• coq-intro

  Public
  Introductory resources for learning how to use the Coq proof assistant

  TeX

  •0•1•0•0•Updated Feb 19, 2016Feb 19, 2016

• hott-notes

  Public
  15-819 (Homotopy Type Theory) Lecture Notes

  TeX

  •32•0•0•0•Updated Dec 14, 2015Dec 14, 2015

• Software-Foundations

  Public
  Coq

  •2•0•0•0•Updated Oct 27, 2015Oct 27, 2015

• CSP-undergrad

  Public
  notes on algebraic approach to constraint satisfaction problems

  0•1•0•0•Updated Oct 23, 2015Oct 23, 2015

• math-classes

  Public
  A library of abstract interfaces for mathematical structures in Coq.

  Coq

  •

  Other

  •43•0•0•0•Updated May 8, 2015May 8, 2015

• agda-summer-school

  Public
  Summer school on programming in Agda

  Agda

  •15•0•0•0•Updated Mar 12, 2015Mar 12, 2015

• agda-prelude

  Public
  Programming library for Agda

  Agda

  •

  MIT License

  •24•0•0•0•Updated Mar 12, 2015Mar 12, 2015