#
🧩
Wow!! There's a just 74 vars problem in SAT Comp. 2024!!
Ph.D. of Eng., SAT solver🧑🏻🔬, 🎄Advent of Code: 4️⃣5️⃣0️⃣⭐️⭐️. 🩷Helix/Lean4/Nixpkgs/Rust and Modified Engram ⌨️layout on Corne/Ferris.
-
a part-time tutor / coder
- Japan, Asia
-
23:21
(UTC +09:00) - @shnarazk@functional.cafe
Lists (1)
Sort Name ascending (A-Z)
Starred repositories
0
results
for mirror starred repositories
Clear filter