aureleeNet/formalizations

This repository collects project-relevant Isabelle/HOL formalizations.

Isabelle

Readme
0Issues
1Stargazer
2Watchers

No issues in this repository yet.

Topics

isabelle-hol argumentation-frameworks logic reasoning automated-reasoning

Contact site admin: Geeks.