Giters

YuryBandarchuk16 / mathlogic

Repository for all coding homework during mathlogic course

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Mathlogic

About

Repository for all coding homework during mathlogic course

Languages

Language:OCaml 97.6%Language:Makefile 2.0%Language:Standard ML 0.4%Language:Shell 0.0%