swh:1:snp:6189000751ad63f2df385fc3e5a5fbd2996bc358
Tip revision: 63af9181d1c6300497afae5f57f0ce305d7e5c96 authored by Chelsea Edmonds on 12 July 2022, 11:18:18 UTC
Update README.md
Update README.md
Tip revision: 63af918
File | Mode | Size |
---|---|---|
document | ||
Design_Extras | -rw-r--r-- | 43 bytes |
Design_Extras.thy | -rw-r--r-- | 25.8 KB |
Dual_Systems.thy | -rw-r--r-- | 30.5 KB |
Fishers_Inequality.thy | -rw-r--r-- | 21.2 KB |
Fishers_Inequality_Root.thy | -rw-r--r-- | 338 bytes |
Fishers_Inequality_Variations.thy | -rw-r--r-- | 10.0 KB |
Incidence_Matrices.thy | -rw-r--r-- | 103.5 KB |
Linear_Bound_Argument.thy | -rw-r--r-- | 7.1 KB |
Matrix_Vector_Extras.thy | -rw-r--r-- | 32.5 KB |
Rank_Argument_General.thy | -rw-r--r-- | 20.1 KB |
Set_Multiset_Extras.thy | -rw-r--r-- | 12.6 KB |
Triple_Systems.thy | -rw-r--r-- | 1.9 KB |
Vector_Matrix_Mod.thy | -rw-r--r-- | 22.8 KB |