Arka Ghosh's repositories
Girard-and-Burali-Forti
A try to prove Girard's paradox in idris
Idris-Number-Theory
Elementary number theory written in Idris.
idris-algebra
Formalization of algebra in Idris
compiler-and-etc
Trying to build a compiler in Haskell
First-Order-Logic-in-Idris
Trying to formalize first order logic in Idris
happy
The Happy parser generator for Haskell
Language:HaskellNOASSERTION000
Homotopical-Topology-Assignments
Assignments for the homotopical topology course offered by Prof. Pranav Pandit, ICTS. Arka Ghosh, Srikanth B Pai, Bhanu Kiran S, Prokash K Kundu are participants
Language:TeX000
Language:Haskell000
Lattices-in-Idris
Trying to prove Knaster-Tarski theorem in Idris
lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
Language:C++Apache-2.0000
LTS2019
Web page, code for "Logic, Types Spaces 2019" at IISc
Language:IdrisMIT000
Presentations
Just learning to use Git Hub
Language:TeX000
Superficial
Curves and other structures on surfaces (topology)
Language:HTMLMIT000
Webinar-Notes
Repository of handwritten notes taken during webinars/seminars
000