brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2025-10-09 14:31:13 +00:00
Code Issues Projects Releases Packages Activity

Re-tagged blog posts

Browse source
This commit is contained in:
Brandon Rozek 2022-01-02 14:24:29 -05:00
parent 209995c77b
commit 2a9c127365
186 changed files with 186 additions and 146 deletions
Download patch file Download diff file Expand all files Collapse all files

2
content/blog/leantactics.md
View file

@ -2,7 +2,7 @@
title: "Lean Theorem Prover Tactics"
date: 2021-10-10T23:52:41-04:00
draft: false
tags: []
tags: ["Formal Methods"]
math: false
---