GitHub - postechsv/CCSAvier: Maude-based implementation of BC-logic · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
attack.txt		attack.txt
ccsa.maude		ccsa.maude
nsl.maude		nsl.maude
term.lean		term.lean

About

Maude-based implementation of BC-logic

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

Lean 100.0%