GeezerVison

GeezerVison is showing github.com — TypeFunc

Popular repositories Loading

types-slides types-slides Public

Slides for crash course on Type Theory

HTML 2
CSP-undergrad CSP-undergrad Public

notes on algebraic approach to constraint satisfaction problems

1
coq-intro coq-intro Public

Introductory resources for learning how to use the Coq proof assistant

TeX 1
agda-summer-school agda-summer-school Public

Forked from UlfNorell/agda-summer-school

Summer school on programming in Agda

Agda
agda-prelude agda-prelude Public

Forked from UlfNorell/agda-prelude

Programming library for Agda

Agda
math-classes math-classes Public

Forked from rocq-community/math-classes

A library of abstract interfaces for mathematical structures in Coq.

Coq

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All Agda Coq HTML JavaScript Scala TeX

Sort

Last updated Name Stars

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)

Uh oh!

There was an error while loading. Please reload this page.

TypeFunc/agda-algebras's past year of commit activity

Agda 0 CC-BY-SA-4.0 8 0 0 Updated Dec 9, 2021
uh-mfc Public
UH Circle on the Mathematical Foundations of Computing

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

TypeFunc/lat-nae-3sat's past year of commit activity

TeX 0 0 0 0 Updated Jan 13, 2017
nae-3sat-scala Public

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

TypeFunc/hott-notes's past year of commit activity

TeX 0 31 0 0 Updated Dec 14, 2015

View all repositories

People

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.