Pinned Repositories
advanced-coffee-makers
hopfield-tsp
another academic project
lean-exc
logic00
Material for the logic course
stl2
Interpolation for the logic of spacetime
cat-exc
nat-finset
Re-inventing finite sets (because (learning) ssreflect is overkill)
prop-calc
Propositional Calculus in Coq by Floris van Doorn
subst-interpol
Uniform Interpolation for some Substructural Logics (work in progress)
BelegCuthalion's Repositories
BelegCuthalion/lean-exc
BelegCuthalion/logic00
Material for the logic course
BelegCuthalion/alarm-clock
A simple Bash alarm clock script.
BelegCuthalion/AmirTabatabai.github.io
BelegCuthalion/stl
∇⎕ coloring
BelegCuthalion/stl2
Interpolation for the logic of spacetime
BelegCuthalion/AmirTabatabai.github.io-1
A beautiful, simple, clean, and responsive Jekyll theme for academics
BelegCuthalion/Ap-final-project
BelegCuthalion/BelegCuthalion.github.io
A personal web-page
BelegCuthalion/chc-slides
Slides for a talk on the Curry-Howard correspondence
BelegCuthalion/cpc
BelegCuthalion/cpl
An implementation of natural deduction for Classical Propositional Logic.
BelegCuthalion/didactic-octo-engine
BelegCuthalion/FinalUTankProject-phase1
BelegCuthalion/fod
Freedom of Developers
BelegCuthalion/hilbert
Simple Hilbert-style prover for implicational fragment.
BelegCuthalion/incompleteness-slides
BelegCuthalion/Interpol_theorem
formalized proof of interpolation theorem in various logics using sequent calculus
BelegCuthalion/Interpol_theorem_second_approach
BelegCuthalion/interpolant
Simple CPC Interpolant Generator
BelegCuthalion/ipc-ccc
A samll note on completeness of IPC
BelegCuthalion/Java-Final-Project
Tanks Game
BelegCuthalion/maths-dictionary
multilingual dictionary of mathematical terminology
BelegCuthalion/proposal-slides
BelegCuthalion/qbank-template
A question dump, to be fed to LaTeX
BelegCuthalion/rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
BelegCuthalion/struct-math
Mathematical Structuralism à la Grothendieck
BelegCuthalion/UTank
BelegCuthalion/UTank-1
BelegCuthalion/utank-doc
Documentations for UTCS-AP final project