jaycech3n/math jaycech3n/math

  • Stars
    star
    1
  • Language
    TeX
  • Created almost 3 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jaycech3n/math
github

jaycech3n

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

scribbles

More Repositories

1

Isabelle-HoTT

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
Standard ML
34
star
2

CwF

Categories with families in HoTT
Agda
9
star
3

Isabelle-Spartan

A dependent type theory logic for Isabelle
Standard ML
6
star
4

Pure_Logic

Isabelle's Pure logic, directly extended to FOL/HOL
Isabelle
1
star