Commit Graph

Select branches

Hide Pull Requests

dev

main

Mono Color

• ea47c34308 Create initial proof builder POC main Bram van den Heuvel 2026-07-13 16:48:56 +0200
• 66beff5792 Create contains, eq and replace operations dev Bram van den Heuvel 2026-07-12 16:05:26 +0200
• dcad494c7d Attempt to implement basic library Bram van den Heuvel 2026-07-10 00:03:47 +0200
• cbf8e29a84 Generalize normalize function Bram van den Heuvel 2026-07-10 00:03:13 +0200
• eeac39a4fa Refactor terms module Bram van den Heuvel 2026-07-09 22:59:14 +0200
• fa9d4f0a83 Add new design for proof checker Bram van den Heuvel 2026-07-09 12:38:37 +0200
• 362e82474c Create a proof BUILDER more than a checker - lol Bram van den Heuvel 2026-07-05 23:10:09 +0200
• 16490af209 Commit working changes (attempted scripts) Bram van den Heuvel 2026-07-05 17:36:53 +0200
• 0612e320b0 Improve proof readability Bram van den Heuvel 2026-06-30 10:36:58 +0200
• 323b87189c Add List constructors & methods Bram van den Heuvel 2026-06-29 16:44:43 +0200
• 90240cf067 Simplify abstract type structuring Bram van den Heuvel 2026-06-29 15:02:21 +0200
• ffc79f4372 Simplify & generalize types to "App" & "Const" types Bram van den Heuvel 2026-06-29 14:50:51 +0200
• cca866ae62 Add minimal proof checker Bram van den Heuvel 2026-06-29 11:59:35 +0200
• d54125daa6 Refactor BlockHeader type on heap Bram van den Heuvel 2025-02-21 16:47:33 +0100
• 570553aadb Initial proof-of-concept Bram van den Heuvel 2025-02-21 15:39:49 +0100