Giters
Ettore Aldrovandi (ettorealdrovandi)

ettorealdrovandi

Geek Repo

1

followers

2

following

1

stars

Company:Florida State University

Home Page:https://www.math.fsu.edu/~ealdrov/

Github PK Tool:Github PK Tool

Ettore Aldrovandi's repositories

agda-mas5932

Homotopy Type Theory and categorical algebra experiments in the style of UniMath

Language:AgdaLicense:NOASSERTIONStargazers:2Issues:1Issues:0

TypeTopology

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

Language:AgdaLicense:GPL-3.0Stargazers:2Issues:0Issues:0

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Language:AgdaLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

agda-unimath

Univalent mathematics in Agda

Language:AgdaLicense:MITStargazers:0Issues:0Issues:0