Formalization of mathematics in higher order logic (HOL4 proof assistant) - Search in this Group

With the following form, you can perform a search in the items summaries and details of a given tracker of the project Formalization of mathematics in higher order logic (HOL4 proof assistant). If you need to perform more complex search, use the query forms in Browse items page of this tracker. If you want to perform a site-wide search, use the search box in the left menu.