1Introduction to radix (best cognate-tree grower, pre-α, dormant) (opens in new tab)(tsvibt.blogspot.com)2tbt4mo ago2
4Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover (opens in new tab)(github.com)3tbt2y ago0
