Documentation Verification Report

Semantics

šŸ“ Source: Cslib/Languages/CCS/Semantics.lean

Statistics

MetricCount
DefinitionsTerminated, Tr, instHasTauAct, Ā«term_[_]ā† _Ā», Ā«term_[_]ā­¢_Ā»
5
Theorems0
Total5

Cslib.CCS

Definitions

NameCategoryTheorems
Terminated šŸ“–CompDataā€”
Tr šŸ“–CompDataā€”
instHasTauAct šŸ“–CompOpā€”
Ā«term_[_]ā† _Ā» šŸ“–CompOpā€”
Ā«term_[_]ā­¢_Ā» šŸ“–CompOpā€”

---

ā† Back to Index