#

formalization

Here are 5 public repositories matching this topic...

marco10507 / formalization-of-sorting-algorithms

some sorting algorithms' formalisation

mergesort insertion-sort selection formalization isabelle-hol

Updated Aug 17, 2019
Isabelle

pilif0 / bigraph

Formalization of Robin Milner's bigraphs in Isabelle/HOL

formalization isabelle-hol

Updated Aug 21, 2019
Isabelle

ata-keskin / martingales

A Formalization of Martingales using Isabelle/HOL

formalization isabelle-hol stochastic-processes formal-proofs martingales

Updated Jan 8, 2024
Isabelle

HaskDev0 / Linear-Logic-Cat-semantics

Categorical Semantics of Intuitionistic Multiplicative Linear Logic written in Isabelle/HOL

logic formalization formal-languages isabelle-hol formal-proofs

Updated Mar 12, 2023
Isabelle

ata-keskin / eudoxus-reals

An unusual construction of the real numbers using Isabelle/HOL

formalization isabelle-hol formal-proofs real-numbers

Updated Jan 8, 2024
Isabelle

Improve this page

Add a description, image, and links to the formalization 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 formalization topic, visit your repo's landing page and select "manage topics."