https://api.cslib.io/docs/Cslib/Computability/Machines/SingleTapeTuring/Basic.html
Cslib.Computability.Machines.SingleTapeTuring.Basic
cslibcomputabilitymachinesbasic
https://arxiv.org/abs/2602.04846
[2602.04846] CSLib: The Lean Computer Science Library
Abstract page for arXiv paper 2602.04846: CSLib: The Lean Computer Science Library
the leancomputer sciencecsliblibrary
https://api.cslib.io/docs/Cslib/Logics/Propositional/NaturalDeduction/Basic.html
Cslib.Logics.Propositional.NaturalDeduction.Basic
csliblogicsbasic
https://api.cslib.io/docs/Cslib/Languages/LambdaCalculus/LocallyNameless/Stlc/Safety.html
Cslib.Languages.LambdaCalculus.LocallyNameless.Stlc.Safety
csliblanguagesstlcsafety
https://api.cslib.io/docs/Cslib/Languages/CombinatoryLogic/Defs.html
Cslib.Languages.CombinatoryLogic.Defs
csliblanguages
https://api.cslib.io/docs/Cslib/Computability/URM/Defs.html
Cslib.Computability.URM.Defs
cslibcomputabilityurm