/computope

A tool for manipulating weak omega-computopes

Primary LanguageOCaml

This repository is not active