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