Pinned Repositories
ashasoroushpoor.github.io
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
Assembly_Exc
UT_CS_AssemblyCourse_Excersices&Projects
book
A textbook on informal homotopy type theory
incompleteness-slides
Interpol_theorem
formalized proof of interpolation theorem in various logics using sequent calculus
Interpol_theorem_second_approach
IntrotoPLT
Introduction to programming language theory in Coq
Iris_toturial_popl20
https://gitlab.mpi-sws.org/iris/tutorial-popl20
Iris_tutorial_popl21
Logic_Programming_Exc
Exercises in coq for logic programming course
ashasoroushpoor's Repositories
ashasoroushpoor/Interpol_theorem
formalized proof of interpolation theorem in various logics using sequent calculus
ashasoroushpoor/Interpol_theorem_second_approach
ashasoroushpoor/ashasoroushpoor.github.io
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
ashasoroushpoor/Assembly_Exc
UT_CS_AssemblyCourse_Excersices&Projects
ashasoroushpoor/book
A textbook on informal homotopy type theory
ashasoroushpoor/incompleteness-slides
ashasoroushpoor/IntrotoPLT
Introduction to programming language theory in Coq
ashasoroushpoor/Iris_toturial_popl20
https://gitlab.mpi-sws.org/iris/tutorial-popl20
ashasoroushpoor/Iris_tutorial_popl21
ashasoroushpoor/Logic_Programming_Exc
Exercises in coq for logic programming course
ashasoroushpoor/PhotoEditorV0
Just single django University Project
ashasoroushpoor/Quantum-Polynomial-Hierarchy-Presentation
Quantum Polynomial Hierarchy Presentation
ashasoroushpoor/Uni_ticket_telegram_bot
a exam ticketing telegram bot for university when I was teaching assistant
ashasoroushpoor/WasmCert-Coq
A mechanisation of Wasm in Coq
ashasoroushpoor/pdf2pptx
Convert your (Beamer) PDF slides to (Powerpoint) PPTX