The little prover shrubbery 版本 [the-little-prover]

2026 · Lîm Tsú-thuàn · https://github.com/dannypsnl/the-little-prover

The little prover use shrubbery notation.