Giters

andreasabel / agda-automata

Formalisation of automata in Agda

Home Page:https://andreasabel.github.io/agda-automata/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agdaautomataautomata-theory

This repository is not active

About

Formalisation of automata in Agda

https://andreasabel.github.io/agda-automata/

agdaautomataautomata-theory

Languages

Language:Agda 63.2%Language:TeX 34.4%Language:Makefile 1.7%Language:sed 0.6%Language:HTML 0.1%