https://gitlab.com/formalcow/combinatorics-on-words-formalized
History
Tip revision: 314a58482b5e499e8ce4c29942379a087e2c2205 authored by Štěpán Starosta on 01 July 2020, 07:02:59 UTC
added arxiv link to Binary Intersection Formalized
Tip revision: 314a584
File Mode Size
BinaryIntersectionFormalized.thy -rw-r--r-- 147.8 KB
LICENSE -rw-r--r-- 1.0 KB
README.md -rw-r--r-- 1.0 KB

README.md

back to top