vramana/agda-project
Project for LogicTypeSpace Course
Public GitHub Catalog
Discovered Oct 5, 2026
vramana / LogicTypesSpaces
Course blog source and (mostly Agda) code for a course on "Logic, Types and Spaces"
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#28974433GitHub System ID
vramanaOrganization / User
PublicVisibility
ActiveCatalog Status
More from vramana
vramana/blog
My blog
vramana/euler
Project Euler Solutions in Scala
vramana/TopicsInAnalysis
Notes on Topics in Analysis