Search Results for "hol"
Sort By:
Open-source antivirus for AI agents
Nonfreely-Generated Datatypes in Isabelle/HOL
Klingon Dictionary and Analyzer
Monadic functions and their properties for Isabelle/HOL's option type.