lakiryt

Munich

Pinned Repositories

sunradar
Language:CoffeeScript41
poly-reductions
Polynomial-time reductions in Isabelle/HOL
Language:Isabelle00
SingleHandedWatch
Language:HTML00
voronoi_cpp
Language:C++00
voting-systems
Language:Haskell00

lakiryt's Repositories

lakiryt/SingleHandedWatch
Language:HTML
lakiryt/voronoi_cpp
Language:C++
lakiryt/poly-reductions
Polynomial-time reductions in Isabelle/HOL
lakiryt/sunradar
Language:CoffeeScript41
lakiryt/voting-systems
Language:Haskell