jacobneu/150BadStyleS18 jacobneu/150BadStyleS18

  • Stars
    star
    1
  • Language Standard ML
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jacobneu/150BadStyleS18
github

jacobneu

Reviews

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

Repository Details

More Repositories

1

HoTT-agda

Formalization of Homotopy Type Theory for use in my Youtube videos
Agda
9
star
2

150lectureNotes

LaTeX compilation framework & LaTeX source library for 15-150 M20 lecture slides
TeX
5
star
3

lean-LAC

Lean formalisation and textbook for Languages and Computation
Lean
2
star
4

alleycat

TeX
2
star
5

lean-paranat

Lean
2
star
6

catLogic

Lean
1
star
7

gammaCube

Agda
1
star