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

Submitted 24 August 2023Published 25 July 2024
Review

Editor: @danielskatz (all papers)
Reviewers: @larkz (all reviews), @stephenfmann (all reviews), @drussellmrichie (all reviews)

Authors

Mark Blokpoel (0000-0002-1522-0343)

Citation

Blokpoel, M., (2024). mathlib: A Scala package for readable, verifiable and sustainable simulations of formal theory. Journal of Open Source Software, 9(99), 6049, https://doi.org/10.21105/joss.06049

@article{Blokpoel2024, doi = {10.21105/joss.06049}, url = {https://doi.org/10.21105/joss.06049}, year = {2024}, publisher = {The Open Journal}, volume = {9}, number = {99}, pages = {6049}, author = {Mark Blokpoel}, title = {mathlib: A Scala package for readable, verifiable and sustainable simulations of formal theory}, journal = {Journal of Open Source Software} }
Copy citation string · Copy BibTeX  
Tags

psychology cognitive science simulations formal theory computational modeling Scala

Altmetrics
Markdown badge

 

License

Authors of JOSS papers retain copyright.

This work is licensed under a Creative Commons Attribution 4.0 International License.

Creative Commons License

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