mathlib: A Scala package for readable, verifiable and sustainable simulations of formal theory

Submitted 24 August 2023
This paper is under review which means review has begun. You can track the progress of this review on GitHub »
Software repository Paper pre review Paper review
Markdown badge

 

Journal of Open Source Software is an affiliate of the Open Source Inititative.

Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.

Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066