☕
-
BigBear.ai
- Charleston, SC
- https://jaredcorduan.github.io
- https://orcid.org/0000-0003-3838-3038
Block or Report
Block or report JaredCorduan
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Lean
All languages
Agda
C
C#
Coq
Emacs Lisp
Go
Haskell
Idris
JavaScript
Lean
Nix
OCaml
Python
Rust
Shell
Standard ML
SystemVerilog
TeX
TypeScript
Vim Script
Nothing to show
Sort by: Most stars
4
stars
written in Lean
Clear filter
Lean 3's obsolete mathematical components library: please use mathlib4
Lean 4 kernel / 'external checker' written in Lean 4