diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-03-05 01:29:19 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-03-05 01:29:19 +0100 |
| commit | a7dd55d8353d1b8f039532bfc2d186653e19099b (patch) | |
| tree | 977f786fda8be4f97fd8eb7af9901bf6b8f0c565 /proofs/Makefile | |
| parent | 63ae6e0039e00e728d8d7bcebb323d461f2ef2fe (diff) | |
feat: proofs: reworked proof files.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'proofs/Makefile')
0 files changed, 0 insertions, 0 deletions