agjftucker

Pinned Repositories

capital-requirements-game
How should the central bank design capital requirement rules to take account of banks' likely response?
Language:C++00
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
Language:Lean00
mathlib
Lean mathematical components library
Language:Lean00
mathport
Mathport is a tool for porting Lean3 projects to Lean4
Language:Lean00
network-pricing
Network valuation in financial systems
Language:Python00
theorem_proving_in_lean4
Theorem Proving in Lean 4
Language:JavaScript00
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k298
mathlib4
The math library of Lean 4
Language:Lean1.4k314
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
Language:Lean8368

agjftucker's Repositories

agjftucker/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
agjftucker/mathport
Mathport is a tool for porting Lean3 projects to Lean4
agjftucker/theorem_proving_in_lean4
Theorem Proving in Lean 4
Language:JavaScript
agjftucker/mathlib
Lean mathematical components library
Language:Lean
agjftucker/network-pricing
Network valuation in financial systems
Language:Python
agjftucker/capital-requirements-game
How should the central bank design capital requirement rules to take account of banks' likely response?
Language:C++