9 Commits

Author	SHA1	Message	Date
yannickreiss	7daedc0b31	Ada proofs	2025-06-24 09:13:12 +02:00
yannickreiss	5ee0540a2e	Prove framework	2025-06-15 14:53:46 +02:00
yannickreiss	41ec16380b	Add function to prove ada/Spark code	2025-06-14 23:23:28 +02:00
yannickreiss	8e09bfd6b7	Remove autoformat	2025-03-31 09:58:29 +02:00
yannickreiss	443a0cb897	Spell check	2025-02-01 07:17:01 +01:00
yannickreiss	5b1d0d66de	Add ada mode	2025-01-24 21:41:28 +01:00
yannickreiss	8cee1dc880	Ada mode	2024-12-19 10:37:14 +01:00
yannickreiss	af4b80906f	Disable ada mode	2024-10-07 07:55:16 +02:00
yannickreiss	cc1a7c9311	Add ada formatting	2024-10-07 07:46:40 +02:00