LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Agda

agda-unimath

The agda-unimath library

AgdaEmerging

Stars

—

Forks

—

Contributors

8

Last push

6h ago

Recent commits

Latest commits.

Dependent products of real vector spaces (#1943)
76d8316Louis Wasserman2mo ago
Telescoping sums in abelian groups (#1944)
ba8b3d2Louis Wasserman2mo ago
Remove Vojtěch Štěpančík from maintainers (#1934)
1388f91Vojtěch Štěpančík3mo ago
The product rule for derivatives (#1771)
984e7a4Louis Wasserman3mo ago
Add a Random Module button (#1918)
f217ea9Vojtěch Štěpančík3mo ago

The large precategory of vector spaces (#1919)

d5dd07cLouis Wasserman3mo ago

Invertible elements in large monoids (#1865)

6567147Louis Wasserman3mo ago

Complex normed vector spaces (#1901)

d0d4fd8Louis Wasserman3mo ago

Top contributors

Builders behind this project.

elisabethstenholm