PossiblyInfiniteTrees0.1.0
This repo formalizes (possibly) infinite trees of finite degree in Lean. So far this is mainly a dependency for one of my other projects and tailored towards this purpose. The repo features a formalization of (a special case of) König's Lemma.
1-2 of 2 versions of PossiblyInfiniteTrees
Sort by
Date
- 0.1
0.1.0v0.1.0v4.29.0 - 0.1
0.1.0v0.1.0v4.29.0