Isabelle/HOL proof assistant

ISCIS
2004
Springer

77views Information Technology» more ISCIS 2004»

Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL

14 years 4 months ago

This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book “Formal Concept Analysis” by Ganter and Wille, in the Isabelle/H...

Baris Sertkaya, Halit Oguztüzün

claim paper

Read More »

click to vote

CADE
2004
Springer

97views Logical Reasoning» more CADE 2004»

Formalizing O Notation in Isabelle/HOL

14 years 11 months ago

Download www.andrew.cmu.edu

We describe a formalization of asymptotic O notation using the Isabelle/HOL proof assistant.

Jeremy Avigad, Kevin Donnelly

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers