jaycech3n/Isabelle-HoTT jaycech3n/Isabelle-HoTT

  • Stars
    star
    34
  • Rank 766,985 (Top 16 %)
  • Language Standard ML
  • License
    Other
  • Created over 6 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jaycech3n/Isabelle-HoTT
github

jaycech3n

Reviews

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

Repository Details

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

More Repositories

1

CwF

Categories with families in HoTT
Agda
9
star
2

Isabelle-Spartan

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

math

scribbles
TeX
1
star
4

Pure_Logic

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