#

isabelle

Here are 4 public repositories matching this topic...

inpefess / isabelle-client

A client for Isabelle server (https://isabelle.in.tum.de)

tcp-client isabelle

Updated Nov 16, 2024
TeX

larsrh / phd-thesis

LaTeX sources of my PhD thesis (ARCHIVED)

Updated Jul 25, 2019
TeX

chrisdalvit / zeckendorf-theorem

A formal proof of the Zeckendorf theorem in Isabelle/HOL

theorem-proving isabelle theoretical-computer-science fibonacci-numbers formal-verification number-theory isabelle-hol fibonacci-sequence

Updated Jun 15, 2023
TeX

ekarayel / frequency_moments

Formal verification of randomized streaming algorithms for frequency moments.

big-data isabelle formal-verification randomized-algorithms

Updated Apr 9, 2023
TeX

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."