vramana/LogicTypesSpaces
Course blog source and (mostly Agda) code for a course on "Logic, Types and Spaces"
Developer Profile
vramana
Discovered public repositories for vramana in the GitHub catalog.
vramana/blog
My blog
vramana/euler
Project Euler Solutions in Scala
vramana/TopicsInAnalysis
Notes on Topics in Analysis
vramana/AlgebraicTopology
Web page/blog for algebraic topology course
vramana/prime
A computer algebra system
vramana/ProvingGround
Proving Ground: Tools for Automated Mathematics