Skip to content
@TypeFunc

TypeFunc

  • Praha, Czechia

Popular repositories Loading

  1. types-slides types-slides Public

    Slides for crash course on Type Theory

    HTML 2

  2. CSP-undergrad CSP-undergrad Public

    notes on algebraic approach to constraint satisfaction problems

    1

  3. coq-intro coq-intro Public

    Introductory resources for learning how to use the Coq proof assistant

    TeX 1

  4. agda-summer-school agda-summer-school Public

    Forked from UlfNorell/agda-summer-school

    Summer school on programming in Agda

    Agda

  5. agda-prelude agda-prelude Public

    Forked from UlfNorell/agda-prelude

    Programming library for Agda

    Agda

  6. math-classes math-classes Public

    Forked from coq-community/math-classes

    A library of abstract interfaces for mathematical structures in Coq.

    Coq

Repositories

Showing 10 of 15 repositories
  • agda-algebras Public Forked from ualib/agda-algebras

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

    TypeFunc/agda-algebras’s past year of commit activity
    Agda 0 CC-BY-SA-4.0 7 0 0 Updated Dec 9, 2021
  • uh-mfc Public

    UH Circle on the Mathematical Foundations of Computing

    TypeFunc/uh-mfc’s past year of commit activity
    HTML 0 1 0 0 Updated May 19, 2017
  • types-slides Public

    Slides for crash course on Type Theory

    TypeFunc/types-slides’s past year of commit activity
    HTML 2 0 1 0 Updated Apr 2, 2017
  • bootcamp Public

    resources for spring break bootcamp

    TypeFunc/bootcamp’s past year of commit activity
    TeX 0 0 0 0 Updated Mar 31, 2017
  • lam-cal-slides.js Public

    Slides for crash course on lambda calculus

    TypeFunc/lam-cal-slides.js’s past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Mar 31, 2017
  • logic Public

    notes on logic, proofs, and algorithms

    TypeFunc/logic’s past year of commit activity
    TeX 0 0 0 0 Updated Feb 16, 2017
  • lat-nae-3sat Public

    coatoms in filters of partition lattices

    TypeFunc/lat-nae-3sat’s past year of commit activity
    TeX 0 0 0 0 Updated Jan 13, 2017
  • nae-3sat-scala Public
    TypeFunc/nae-3sat-scala’s past year of commit activity
    Scala 0 0 0 0 Updated Jan 12, 2017
  • coq-intro Public

    Introductory resources for learning how to use the Coq proof assistant

    TypeFunc/coq-intro’s past year of commit activity
    TeX 1 0 0 0 Updated Feb 19, 2016
  • hott-notes Public Forked from maurer/hott-notes

    15-819 (Homotopy Type Theory) Lecture Notes

    TypeFunc/hott-notes’s past year of commit activity
    TeX 0 32 0 0 Updated Dec 14, 2015
View all repositories

Top languages

Loading…

Most used topics

Loading…