JOSS Papers: by Mark Blokpoel

All Papers
3959
 Published Papers
3414
 Active Papers
545
published Published over 1 year ago

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

@markblokpoel
10.21105/joss.06049
Displaying 1 paper

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

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