jaycech3n/Isabelle-Spartan jaycech3n/Isabelle-Spartan

  • This repository has been archived on 08/Feb/2021
  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language Standard ML
  • License
    Other
  • Created about 5 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jaycech3n/Isabelle-Spartan
github

jaycech3n

Reviews

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

Repository Details

A dependent type theory logic for Isabelle

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

math

scribbles
TeX
1
star
4

Pure_Logic

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