Geek Repo
followers
following
stars
Location:Belgium
Home Page:https://ibakesoftware.com
Github PK Tool:Github PK Tool
Development of homotopy type theory in Agda
Setup and handle subl:// protocol to open them in Sublime Text on Linux system
test
A tiny implementation of genetic algorithm