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

Added tags

Browse source
This commit is contained in:
Brandon Rozek 2024-01-15 19:35:59 -05:00
parent a103ccfa5e
commit 41be6f96a4
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
content/blog/proofdef.md
View file

@ -2,6 +2,8 @@
title: "Theorem Proving Definitions"
date: 2019-12-29T11:21:07-05:00
draft: false
tags:
- Formal Methods
images: []
math: true
medium_enabled: true