mirror of
https://github.com/Brandon-Rozek/website.git
synced 2025-01-07 11:31:48 +00:00
7 lines
115 B
Markdown
7 lines
115 B
Markdown
---
|
|
title: "Group Theory in Coq"
|
|
date: 2019-05-21T22:17:00-04:00
|
|
draft: true
|
|
tags: ["Math", "Formal Methods"]
|
|
---
|
|
|