Alireza's repositories
alarm-clock
A simple Bash alarm clock script.
AmirTabatabai.github.io-1
A beautiful, simple, clean, and responsive Jekyll theme for academics
MIT000
BelegCuthalion.github.io
A personal web-page
chc-slides
Slides for a talk on the Curry-Howard correspondence
cpl
An implementation of natural deduction for Classical Propositional Logic.
Language:Coq000
Interpol_theorem
formalized proof of interpolation theorem in various logics using sequent calculus
Language:Coq000
Language:Coq000
interpolant
Simple CPC Interpolant Generator
Java-Final-Project
Tanks Game
ldl-slides
Slides for a talk on the Logic of Dynamic Locales at IPM
Language:TeX000
maths-dictionary
multilingual dictionary of mathematical terminology
qbank-template
A question dump, to be fed to LaTeX
rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
struct-math
Mathematical Structuralism à la Grothendieck