Pinned Repositories
compiler-and-etc
Trying to build a compiler in Haskell
First-Order-Logic-in-Idris
Trying to formalize first order logic in Idris
Girard-and-Burali-Forti
A try to prove Girard's paradox in idris
happy
The Happy parser generator for Haskell
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
idris-algebra
Formalization of algebra in Idris
Idris-Number-Theory
Elementary number theory written in Idris.
Lambda-Calculus-Interpreter
Lattices-in-Idris
Trying to prove Knaster-Tarski theorem in Idris
lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
anotherArka's Repositories
anotherArka/Girard-and-Burali-Forti
A try to prove Girard's paradox in idris
anotherArka/Idris-Number-Theory
Elementary number theory written in Idris.
anotherArka/idris-algebra
Formalization of algebra in Idris
anotherArka/compiler-and-etc
Trying to build a compiler in Haskell
anotherArka/First-Order-Logic-in-Idris
Trying to formalize first order logic in Idris
anotherArka/happy
The Happy parser generator for Haskell
anotherArka/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
anotherArka/Lambda-Calculus-Interpreter
anotherArka/Lattices-in-Idris
Trying to prove Knaster-Tarski theorem in Idris
anotherArka/lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
anotherArka/LTS2019
Web page, code for "Logic, Types Spaces 2019" at IISc
anotherArka/Presentations
Just learning to use Git Hub
anotherArka/Superficial
Curves and other structures on surfaces (topology)
anotherArka/Webinar-Notes
Repository of handwritten notes taken during webinars/seminars
anotherArka/webpage