website/content/blog/coqgroups.md

mirror of https://github.com/Brandon-Rozek/website.git synced 2024-11-14 04:37:28 -05:00
---
title: "Group Theory in Coq"
date: 2019-05-21T22:17:00-04:00
draft: true
tags: ["Math", "Formal Methods"]
---
Website snapshot 2020-01-15 21:51:49 -05:00			`---`
			`title: "Group Theory in Coq"`
			`date: 2019-05-21T22:17:00-04:00`
			`draft: true`
Re-tagged blog posts 2022-01-02 14:24:29 -05:00			`tags: ["Math", "Formal Methods"]`
Website snapshot 2020-01-15 21:51:49 -05:00			`---`