Alireza's repositories
alarm-clock
A simple Bash alarm clock script.
stl
∇⎕ coloring
Language:TeX000
stl2
Interpolation for the logic of spacetime
Language:TeX000
AmirTabatabai.github.io-1
A beautiful, simple, clean, and responsive Jekyll theme for academics
MIT000
BelegCuthalion.github.io
A personal web-page
Language:Coq000
cpl
An implementation of natural deduction for Classical Propositional Logic.
Language:Coq000
fod
Freedom of Developers
000
hilbert
Simple Hilbert-style prover for implicational fragment.
Language:Python000
Interpol_theorem
formalized proof of interpolation theorem in various logics using sequent calculus
Language:Coq000
interpolant
Simple CPC Interpolant Generator
000
Java-Final-Project
Tanks Game
maths-dictionary
multilingual dictionary of mathematical terminology
Language:TeX000
qbank-template
A question dump, to be fed to LaTeX
Language:TeX000
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
Language:Java000