fmtools/content
1
0
Fork 0
Code Issues 20 Pull Requests Actions Packages Releases Wiki Activity

Fix #14

Browse Source
This commit is contained in:
Landon Taylor
2025-07-10 12:39:01 -06:00
parent ed0a3044fb
commit 68e5a64e71
2 changed files with 32 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
tools/programs/_index.md Normal file
View File

@@ -0,0 +1,10 @@
+++
title = "Program Proof Tools"
layout = "section"
+++
This page lists all of the program proof tools on this site in alphabetical order.
Click a tool name in the first column to view tool details.
Click a colorful item in the second column to view all the tools for which that term applies.
Item colors mean nothing and are intended to make it easy to skim the page.
Colors are generated by hashing each term's name and converting it to RGB color values.