Skip to content
View JaredCorduan's full-sized avatar
☕
☕
45 followers · 38 following
Block or Report

Block or report JaredCorduan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Type: All
Language: Agda
Sort by: Most stars
3 stars written in Agda
Clear filter

UniMath / agda-unimath

The agda-unimath library

Agda 213 67 Updated Jul 10, 2024

martinescardo / EffectfulForcing

Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical Computer Science 01/2013, volume 298, pages 119-141.

Agda 11 Updated Sep 21, 2021

berenoguz / Math

Formalization of Mathematics using Type Theory of Agda Programming Language

Agda 11 Updated Jan 3, 2018