LogOS — Kernel + Packs (Agda)

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Rutger H. Boels
DOI: 10.5281/zenodo.18176537
Cited by: 0

Abstract

Release of a library that is powerfull enough to derive mathematics and computer science results quickly, using Agda as a host. The library is not stable enough yet for true production use in enterprise context.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
7 January 2026