Giters
Paige Randall North (paigenorth)

paigenorth

Geek Repo

23

followers

0

following

0

stars

Github PK Tool:Github PK Tool

Paige Randall North's repositories

oplss

Resources for my Homotopy Type Theory course at OPLSS 2023

Language:TeXStargazers:9Issues:2Issues:0

241

Files for Math 241

Language:Jupyter NotebookStargazers:1Issues:2Issues:0

itp-hott

Language:CoqStargazers:1Issues:0Issues:0

paigenorth.github.io

Language:HTMLStargazers:1Issues:2Issues:0

europroofnet.github.io

Sources of the EuroProofNet web site.

Language:RubyStargazers:0Issues:0Issues:0

forest

My mathematical Zettelkasten, created using forester.

Language:XSLTStargazers:0Issues:0Issues:0

Schools

Language:TeXStargazers:0Issues:1Issues:0