Mohsen-Liaghat

Pinned Repositories

4-connected
Language:Python00
8puzzle
compare searching algorithms for 8 puzzle
Language:Python00
CSP
problem stock cutting
Language:Jupyter Notebook00
enigma-simulator
Language:Python0 1 00
flash-card
Language:Python0 1 00
lambda2
we proved that if we have G |- A : T in lambda 2 then G is a lambda 2 context
Language:Coq00
lean-exc
Language:Lean0 0 00
maze_Qlearning
Language:TeX00
SCP
Set Cover problem
Language:Jupyter Notebook00
simple-computer
0 1 00

Mohsen-Liaghat's Repositories

Mohsen-Liaghat/4-connected
Language:Python00
Mohsen-Liaghat/8puzzle
compare searching algorithms for 8 puzzle
Language:Python00
Mohsen-Liaghat/CSP
problem stock cutting
Language:Jupyter Notebook00
Mohsen-Liaghat/enigma-simulator
Language:Python0 1 00
Mohsen-Liaghat/flash-card
Language:Python0 1 00
Mohsen-Liaghat/lambda2
we proved that if we have G |- A : T in lambda 2 then G is a lambda 2 context
Language:Coq00
Mohsen-Liaghat/lean-exc
Language:Lean0 0 00
Mohsen-Liaghat/maze_Qlearning
Language:TeX00
Mohsen-Liaghat/SCP
Set Cover problem
Language:Jupyter Notebook00
Mohsen-Liaghat/simple-computer
0 1 00
Mohsen-Liaghat/XO
Language:JavaScript