Celf

swMATH22718MaRDI QIDQ34509FDOQ34509

Author name not available (Why is that?)

Described by source

• Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)

Cited In (2)

• Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda
• Plugging-in proof development environments usingLocksinLF

This page was built for software: Celf