https://gitlab.com/formalcow/combinatorics-on-words-formalized
Tip revision: 314a58482b5e499e8ce4c29942379a087e2c2205 authored by Štěpán Starosta on 01 July 2020, 07:02:59 UTC
added arxiv link to Binary Intersection Formalized
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 |