Hacker News
- RZK: Experimental proof assistant for synthetic ∞-categories https://github.com/rzk-lang/rzk 46 comments
Linked pages
- https://127.0.0.1:8000 79 comments
- The Haskell Tool Stack https://docs.haskellstack.org/en/stable/README/ 47 comments
- direnv – unclutter your .profile | direnv https://direnv.net/ 47 comments
- Flakes - NixOS Wiki https://nixos.wiki/wiki/Flakes#NixOS 42 comments
- Download Nix / NixOS https://nixos.org/download.html#nix-install-macos 12 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - rzk-lang/rzk: An experimental proof assistant based on a type theory for synthetic ∞-categories.
See how to search.