Giters

mirzapolat / tum-fpv-2023

Eine Sammlung an allen Projekten die ich in Funktionale Programmierung und Verifikation an der TUM gemacht habe (unvollständig)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Eine Sammlung an allen Projekten die ich in Funktionale Programmierung und Verifikation an der TUM gemacht habe (unvollständig)

Languages

Language:OCaml 100.0%