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

Website snapshot

Browse source
This commit is contained in:
Brandon Rozek 2020-01-15 21:51:49 -05:00
parent ee0ab66d73
commit 50ec3688a5
281 changed files with 21066 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
content/blog/coqgroups.md Normal file
View file

@ -0,0 +1,6 @@
---
title: "Group Theory in Coq"
date: 2019-05-21T22:17:00-04:00
draft: true
---