Skip to content

HOLMS-lib/HOLMS

Error
Looks like something went wrong!

About

HOL-Light Library for Modal Systems

holms-lib.github.io/

Topics

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

Resources

Readme

License

View license
Activity
Custom properties

Stars

1 star

Watchers

2 watching

Forks

0 forks
Report repository

Releases 1

Version for OVERLAY Workshop 2024 Latest
Oct 29, 2024

Packages

No packages published

Contributors 2

  •  
  •  

Languages