JO

JoeyEremondi/AgdaLeftovers

An Agda library for tactics that partially solve a goal

Migrated to https://codeberg.org/JoeyEremondi/AgdaLeftovers

Languages

Agda100.0%

Contributors

BSD 3-Clause "New" or "Revised" License

Created May 20, 2021

Updated February 18, 2025

JoeyEremondi/AgdaLeftovers | GitHunt