lemming:0.1.0

[fGolke]

I am submitting

• a new package
• an update for a package

Description: Yet another theorem package, but to my knowledge the first that is based on elembic and I think thats the way to go.

Notes

• Softly depends on discount:0.1.0 #4461, as it is mentioned in the README
• The failing check is WAD

I have read and followed the submission guidelines and, in particular, I

• selected a name that isn't the most obvious or canonical name for what the package does
• added a typst.toml file with all required keys
• added a README.md with documentation for my package
• have chosen a license and added a LICENSE file or linked one in my README.md
• tested my package locally on my system and it worked
• excluded PDFs or README images, if any, but not the LICENSE

[saecki]

Thanks for this package!