Documentation

LeanPool.LanguageGeneration.FiniteWitness.Simplified

The manuscript checkpoint normalization and diagonal capture construction #