ac-exercises
Exercise solutions in Lean 4 for the book "Automatic complexity: a computable measure of irregularity", De Gruyter, 2024.
Science Score: 44.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Unable to calculate vocabulary similarity
Last synced: 6 months ago
·
JSON representation
·
Repository
Exercise solutions in Lean 4 for the book "Automatic complexity: a computable measure of irregularity", De Gruyter, 2024.
Basic Info
Statistics
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
- Releases: 0
Created over 3 years ago
· Last pushed 10 months ago
Metadata Files
Readme
Citation
README.md
ac-exercises
Solutions in Lean 4 to exercises from "Automatic complexity: a computable measure of irregularity", De Gruyter 2024.
Owner
- Name: Bjørn Kjos-Hanssen
- Login: bjoernkjoshanssen
- Kind: user
- Location: Honolulu, HI
- Company: University of Hawaii at Manoa
- Website: http://math.hawaii.edu/wordpress/bjoern/
- Repositories: 4
- Profile: https://github.com/bjoernkjoshanssen
Professor of Mathematics
Citation (CITATION.cff)
# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!
cff-version: 1.2.0
title: Automatic complexity exercises
message: >-
If you use this software, please cite it using the
metadata from this file.
type: software
authors:
- given-names: Bjørn
family-names: Kjos-Hanssen
email: bjoernkh@hawaii.edu
affiliation: University of Hawaii at Manoa
orcid: 'https://orcid.org/0000-0002-6199-1755'
repository-code: 'https://github.com/bjoernkjoshanssen/ac-exercises'
abstract: >-
Exercise solutions in Lean 4 for the book "Automatic
complexity: a computable measure of irregularity", De
Gruyter, 2024.
license: CC-BY-NC-SA-4.0
GitHub Events
Total
- Push event: 73
Last Year
- Push event: 73