Giters
Tim Cherganov (timcherganov)

timcherganov

Geek Repo

0

followers

0

following

5

stars

Github PK Tool:Github PK Tool

Tim Cherganov's repositories

agda-notes

Language:AgdaStargazers:0Issues:0Issues:0

security-models

Language:TLAStargazers:0Issues:0Issues:0

zip-conduit

Working with zip archives via conduits.

Language:HaskellLicense:BSD-3-ClauseStargazers:7Issues:0Issues:0

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

lifting-property

Language:CoqStargazers:0Issues:0Issues:0