advent-of-proof.agda-lib - yellowsquid/advent-of-proof/2024.git - [no description]

summary refs log tree commit diff

path: root/advent-of-proof.agda-lib

blob: c6475896940fe9072420f4de26692f9202fd2d5b (plain)

name: advent-of-proof
depend: standard-library
include: src
flags: --without-K