diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-05-30 02:52:21 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-06-13 00:28:12 +0000 |
| commit | 52d8859ee6b2176ca13c3ea6c79d1c8b251658d5 (patch) | |
| tree | 98d741d9695e54cb001af8fbf97f0825855d7a93 /proof/_CoqProject | |
| parent | 57b55b51ee6a1d4678ba37e4631d61a248411ff2 (diff) | |
| download | Sakura-52d8859ee6b2176ca13c3ea6c79d1c8b251658d5.tar.gz Sakura-52d8859ee6b2176ca13c3ea6c79d1c8b251658d5.zip | |
`Project` plan node
Diffstat (limited to 'proof/_CoqProject')
0 files changed, 0 insertions, 0 deletions