Name		Name	Last commit message	Last commit date
Latest commit History 62 Commits
LICENSE		LICENSE
README.md		README.md
_config.yml		_config.yml
index.md		index.md

Repository files navigation

holms-lib.github.io

Source code for the documentation website of HOLMS, a HOL Light Library for Modal Systems.

About

HOL Light Library for Modal Systems

holms-lib.github.io/

theorem-proving proof-assistant higher-order-logic modal-logic interactive-theorem-proving automated-theorem-proving hol-light

BSD-2-Clause license

Custom properties

Report repository

Releases

No releases published

Packages

Contributors