#

isabelle

Here are 2 public repositories matching this topic...

nunchaku-inria / nunchaku

Model finder for higher-order logic

logic proof-assistant isabelle sat model-finding cvc4 higher-order hol

Updated Dec 7, 2023
OCaml

lukaskollmer / advent-of-code

Advent of Code solutions, in OCaml and (sometimes) Isabelle/HOL

advent-of-code ocaml isabelle isabelle-hol

Updated Jan 4, 2024
OCaml

Improve this page

Add a description, image, and links to the isabelle topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the isabelle topic, visit your repo's landing page and select "manage topics."