Grounded Arithmetic

Grounded Arithmetic

Prototype of Grounded Arithmetic logic formalized in Isabelle/Pure.

Isabelle/Pure prototype of the Grounded Arithmetic (GA) logic system. Features a complete axiomatization, arithmetic functions, Cantor tuple constructions, a manually encoded List datatype, and the accompanying B.Sc. thesis PDF and source files.

Formal Methods
Key facts
Maturity
Support
C4DT
Inactive
Lab
Active
  • Technical

Decentralized Distributed Systems Laboratory

Decentralized Distributed Systems Laboratory
Bryan Ford

Prof. Bryan Ford

The DEDIS team is working on projects related to large-scale collective authorities (cothorities), which distribute trust among a number of independent parties to allow scalable self-organizing communities. With no single trusted party, cothorities can secure software updates, provide public randomness, enable privacy-conscious medical-data sharing and a lot more. Other projects include communicating securely over insecure channels and fast, scalable, accountable anonymous communication.

This page was last edited on 2026-03-03.