cslib/CslibTests at main · leanprover/cslib · GitHub

8000 cslib/CslibTests at main · leanprover/cslib · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
Bisimulation.lean		Bisimulation.lean
CCS.lean		CCS.lean
CLL.lean		CLL.lean
DFA.lean		DFA.lean
FreeMonad.lean		FreeMonad.lean
GrindLint.lean		GrindLint.lean
HML.lean		HML.lean
HasFresh.lean		HasFresh.lean
ImportWithMathlib.lean		ImportWithMathlib.lean
LTS.lean		LTS.lean
LambdaCalculus.lean		LambdaCalculus.lean
Reduction.lean		Reduction.lean

0