brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2025-08-03 23:31:59 +00:00
Code Issues Projects Releases Packages Activity

Added tag

Browse source
This commit is contained in:
Brandon Rozek 2025-04-27 14:02:12 -04:00
parent d2116701d0
commit c6b987cd9b
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
content/blog/polymorphic-functions-wildcard-matching-lean-4.md
View file

@ -2,7 +2,7 @@
title: "Polymorphic Functions w/ Wildcard Matching in Lean 4" title: "Polymorphic Functions w/ Wildcard Matching in Lean 4"
date: 2024-08-04T07:21:07-07:00 date: 2024-08-04T07:21:07-07:00
draft: false draft: false
tags: [] tags: ["Formal Methods"]
math: false math: false
medium_enabled: false medium_enabled: false
--- ---

2
content/blog/quick-lean-if-then-else-in-hypothesis.md
View file

@ -2,7 +2,7 @@
title: "Quick Lean: if-then-else statement in hypothesis" title: "Quick Lean: if-then-else statement in hypothesis"
date: 2025-04-26T10:58:42-04:00 date: 2025-04-26T10:58:42-04:00
draft: false draft: false
tags: [] tags: ["Formal Methods"]
math: false math: false
medium_enabled: false medium_enabled: false
--- ---

2
content/blog/writing-unit-tests-lean-4.md
View file

@ -2,7 +2,7 @@
title: "Writing Unit Tests in Lean 4" title: "Writing Unit Tests in Lean 4"
date: 2024-08-05T20:43:52-07:00 date: 2024-08-05T20:43:52-07:00
draft: false draft: false
tags: [] tags: ["Formal Methods"]
math: false math: false
medium_enabled: false medium_enabled: false
--- ---