From 600860ba1a35df6e003a6f5cdab6fbf65cbd698d Mon Sep 17 00:00:00 2001 From: funemy Date: Tue, 25 Oct 2022 02:16:34 -0700 Subject: update people.json --- people.json | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/people.json b/people.json index 6499425..55b1ad4 100644 --- a/people.json +++ b/people.json @@ -69,6 +69,10 @@ "name": "z3", "link": "./entries/funemy/z3/z3fib.sh" }, + { + "name": "z4", + "link": "./entries/funemy/z3/z4fib.sh" + }, { "name": "symbolic", "link": "./entries/funemy/symbolic/phib.py" -- cgit v1.2.3-70-g09d2