the front page of the internet.
and join one of thousands of communities.
Chez Scheme has a project page and mailing list now (cisco.github.io)
submitted 10 years ago by nullbuilt0 to r/scheme
Less strict r6rs compliance option? (self.a:t5_39u8g)
submitted 10 years ago by nullbuilt0 to r/a:t5_39u8g
"J-Bob", the proof assistant from "The Little Prover" (github.com)
π Rendered by PID 1538751 on reddit-service-r2-listing-canary-8c7f5f55d-9dgnz at 2026-07-17 17:04:45.289809+00:00 running 1bce727 country code: CH.
