Skip to content

No labels!

There aren’t any labels for this repository quite yet.

Array Oriented
Array Oriented
APL and discendants
bug
bug
Something isn't working
dependencies
dependencies
Pull requests that update a dependency file
Factor
Factor
Factor language
invalid
invalid
This doesn't seem right
Lean
Lean
Programming Language and Theorem Prover
MacOS
MacOS
About MacOS, Darwin
Mathematics in Lean
Mathematics in Lean
About 'Mathematics in Lean'
Nix
Nix
About NixOS, Nix, nixpkgs
Rust
Rust
Super nice languge