smallantimagmas - v0.0.4

What's Changed

• fix: Fix missing local-variable by @limakzi in #6

Full Changelog: v0.0.3...v0.0.4

smallantimagmas - v0.0.3

What's Changed

• chore: Reformat utils file by @limakzi in #7

Full Changelog: v0.0.2...v0.0.3

smallantimagmas - v0.0.2

What's Changed

• build(deps): Bump codecov/codecov-action from 3 to 4 by @dependabot in #5

New Contributors

• @dependabot made their first contribution in #5

Full Changelog: v0.0.1...v0.0.2

smallantimagmas - v0.0.1

What's Changed

• docs: Fix project naming by @limakzi in #2
• build(gaplint): Initial commit by @limakzi in #1
• feat(prover9): Add prover9 scripts by @limakzi in #3
• feat: Initial version by @limakzi in #4

New Contributors

• @limakzi made their first contribution in #2

Full Changelog: https://github.com/limakzi/smallantimagmas/commits/v0.0.1