About
Papers
Docs
Blog
Submit
Log in with ORCID
This Search
Active Papers
Published Papers
×
Important Update:
JOSS has updated its submission scope requirements, affecting what is eligible for submission and what information is required in your paper.
Read the announcement →
•
View updated requirements →
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
← Previous
Next →
Table of Contents
Public user content licensed
CC BY 4.0
unless otherwise specified.
ISSN 2475-9066