Last active
March 13, 2025 04:56
toplevel 2025-03-13
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <?xml version="1.0" encoding="UTF-8" ?> | |
| <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> | |
| <!-- This file was created with the aha Ansi HTML Adapter. https://github.com/theZiz/aha --> | |
| <html xmlns="http://www.w3.org/1999/xhtml"> | |
| <head> | |
| <meta http-equiv="Content-Type" content="application/xml+xhtml; charset=UTF-8"/> | |
| <title>stdin</title> | |
| </head> | |
| <body> | |
| <pre> | |
| Top Level Directory Algebra Data Tactic Order CategoryTheo RingTheory Topology LinearAlgebr Analysis Logic MeasureTheor GroupTheory Util FieldTheory SetTheory Lean Control Combinatoric NumberTheory Dynamics Geometry AlgebraicTop Probability ModelTheory Std Computabilit | |
| Algebra 0 272 145 97 162 129 <span style="color:yellow;">4 </span>113 <span style="color:yellow;">1 </span>48 <span style="color:yellow;">3 </span>42 10 <span style="color:yellow;">3 </span>7 <span style="color:yellow;">1 </span><span style="color:yellow;">2 </span>0 <span style="color:yellow;">1 </span>0 0 <span style="color:yellow;">1 </span>0 0 0 0 | |
| Data 348 0 126 134 <span style="color:yellow;">2 </span>12 5 19 12 65 0 <span style="color:yellow;">2 </span>18 0 11 <span style="color:yellow;">2 </span>17 0 <span style="color:yellow;">3 </span><span style="color:yellow;">1 </span>0 0 0 0 0 0 | |
| Tactic 41 62 0 9 11 <span style="color:yellow;">2 </span>0 0 12 12 0 0 26 0 0 36 5 0 <span style="color:yellow;">1 </span>0 0 0 0 0 <span style="color:yellow;">1 </span>0 | |
| Order 53 145 52 0 16 0 <span style="color:yellow;">2 </span>0 <span style="color:yellow;">1 </span>30 0 0 5 0 5 <span style="color:yellow;">1 </span><span style="color:yellow;">3 </span>0 0 <span style="color:yellow;">2 </span>0 0 0 0 0 0 | |
| CategoryTheo 105 50 43 32 0 0 8 <span style="color:yellow;">1 </span>0 15 0 7 <span style="color:yellow;">1 </span><span style="color:yellow;">1 </span>8 <span style="color:yellow;">1 </span><span style="color:yellow;">2 </span>8 0 0 0 <span style="color:yellow;">4 </span>0 0 0 0 | |
| RingTheory 394 78 38 23 <span style="color:yellow;">4 </span>0 16 120 8 <span style="color:yellow;">2 </span>0 29 0 30 0 0 0 <span style="color:yellow;">2 </span>7 0 0 0 0 0 0 0 | |
| Topology 115 59 29 77 64 19 0 25 47 7 <span style="color:yellow;">3 </span>12 0 <span style="color:yellow;">2 </span>5 0 0 <span style="color:yellow;">1 </span><span style="color:yellow;">1 </span><span style="color:yellow;">1 </span>0 <span style="color:yellow;">2 </span>0 0 0 0 | |
| LinearAlgebr 140 70 24 <span style="color:yellow;">3 </span><span style="color:yellow;">2 </span>62 <span style="color:yellow;">3 </span>0 7 <span style="color:yellow;">4 </span>0 18 0 9 7 <span style="color:yellow;">1 </span>0 0 <span style="color:yellow;">1 </span><span style="color:yellow;">1 </span>0 0 0 0 0 0 | |
| Analysis 107 63 34 21 <span style="color:yellow;">4 </span>10 200 61 0 <span style="color:yellow;">3 </span>70 6 <span style="color:yellow;">1 </span><span style="color:yellow;">2 </span>0 0 0 <span style="color:yellow;">2 </span><span style="color:yellow;">2 </span><span style="color:yellow;">1 </span>6 0 0 0 0 0 | |
| Logic 0 54 32 9 0 0 0 0 0 0 0 <span style="color:yellow;">1 </span>0 0 0 0 <span style="color:yellow;">2 </span>0 0 0 0 0 0 0 0 0 | |
| MeasureTheor 9 25 7 24 <span style="color:yellow;">1 </span>0 63 5 65 <span style="color:yellow;">2 </span>0 <span style="color:yellow;">4 </span>0 0 <span style="color:yellow;">3 </span>0 0 0 0 6 0 0 <span style="color:yellow;">3 </span>0 0 0 | |
| GroupTheory 158 67 22 5 <span style="color:yellow;">1 </span><span style="color:yellow;">2 </span>0 <span style="color:yellow;">4 </span>0 7 0 0 0 <span style="color:yellow;">1 </span><span style="color:yellow;">4 </span>0 0 <span style="color:yellow;">3 </span><span style="color:yellow;">1 </span><span style="color:yellow;">4 </span>0 0 0 0 0 0 | |
| Util 0 <span style="color:yellow;">1 </span><span style="color:yellow;">1 </span>0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 | |
| FieldTheory 42 9 <span style="color:yellow;">1 </span><span style="color:yellow;">3 </span>0 55 5 14 0 0 0 <span style="color:yellow;">4 </span>0 0 <span style="color:yellow;">2 </span>0 0 0 0 0 0 0 0 <span style="color:yellow;">2 </span>0 0 | |
| SetTheory 17 21 10 14 0 <span style="color:yellow;">2 </span><span style="color:yellow;">1 </span>0 0 11 0 <span style="color:yellow;">3 </span>0 0 0 0 0 0 0 0 0 0 0 0 0 0 | |
| Lean <span style="color:yellow;">1 </span><span style="color:yellow;">1 </span><span style="color:yellow;">2 </span>0 0 0 0 0 0 <span style="color:yellow;">1 </span>0 0 <span style="color:yellow;">1 </span>0 0 0 0 0 0 0 0 0 0 0 0 0 | |
| Control <span style="color:yellow;">4 </span>12 10 <span style="color:yellow;">2 </span><span style="color:yellow;">3 </span>0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | |
| Combinatoric 81 92 34 21 5 0 <span style="color:yellow;">2 </span><span style="color:yellow;">4 </span>5 6 0 <span style="color:yellow;">3 </span>0 <span style="color:yellow;">1 </span><span style="color:yellow;">3 </span>0 0 0 0 <span style="color:yellow;">1 </span>0 0 0 0 0 0 | |
| NumberTheory 61 64 23 <span style="color:yellow;">4 </span>0 64 20 10 87 0 10 <span style="color:yellow;">3 </span>0 10 0 0 0 <span style="color:yellow;">2 </span>0 <span style="color:yellow;">1 </span><span style="color:yellow;">3 </span>0 0 0 0 0 | |
| Dynamics 10 10 <span style="color:yellow;">1 </span><span style="color:yellow;">4 </span>0 <span style="color:yellow;">3 </span>6 0 <span style="color:yellow;">3 </span><span style="color:yellow;">1 </span>10 0 0 0 0 0 0 <span style="color:yellow;">1 </span>0 0 0 0 0 0 0 0 | |
| Geometry 14 <span style="color:yellow;">3 </span>5 0 6 <span style="color:yellow;">4 </span>22 <span style="color:yellow;">2 </span>41 0 0 <span style="color:yellow;">1 </span><span style="color:yellow;">1 </span>0 0 0 0 0 0 0 0 <span style="color:yellow;">1 </span>0 0 0 0 | |
| AlgebraicTop 7 <span style="color:yellow;">4 </span>8 <span style="color:yellow;">2 </span>56 0 12 0 0 0 0 0 <span style="color:yellow;">2 </span>0 0 0 0 <span style="color:yellow;">1 </span>0 0 0 0 0 0 0 0 | |
| Probability <span style="color:yellow;">1 </span><span style="color:yellow;">1 </span><span style="color:yellow;">4 </span><span style="color:yellow;">3 </span>0 0 <span style="color:yellow;">2 </span>0 12 0 52 0 0 0 0 0 <span style="color:yellow;">1 </span>0 0 0 0 0 0 0 0 0 | |
| ModelTheory 6 14 0 8 <span style="color:yellow;">1 </span><span style="color:yellow;">3 </span>0 0 0 <span style="color:yellow;">2 </span>0 0 0 <span style="color:yellow;">2 </span><span style="color:yellow;">2 </span>0 0 <span style="color:yellow;">1 </span>0 0 0 0 0 0 0 <span style="color:yellow;">1 </span> | |
| Std 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | |
| Computabilit 5 25 9 <span style="color:yellow;">1 </span>0 0 0 0 5 <span style="color:yellow;">3 </span>0 0 0 0 <span style="color:yellow;">1 </span>0 0 0 0 0 0 0 0 0 0 0 | |
| Representati 13 0 0 0 5 <span style="color:yellow;">2 </span>0 <span style="color:yellow;">3 </span>0 0 0 <span style="color:yellow;">1 </span>0 <span style="color:yellow;">1 </span>0 0 0 0 0 0 0 <span style="color:yellow;">1 </span>0 0 0 0 | |
| InformationT 0 0 0 0 0 0 0 0 <span style="color:yellow;">2 </span>0 <span style="color:yellow;">2 </span>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | |
| Deprecated 0 <span style="color:yellow;">2 </span>0 <span style="color:yellow;">3 </span>0 0 0 0 0 <span style="color:yellow;">1 </span>0 0 0 0 <span style="color:yellow;">3 </span>0 0 0 0 0 0 0 0 0 0 0 | |
| Condensed 9 0 0 0 34 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | |
| Mathport 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | |
| Testing <span style="color:yellow;">2 </span><span style="color:yellow;">4 </span>0 0 0 0 0 0 0 <span style="color:yellow;">1 </span>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | |
| AlgebraicGeo 20 <span style="color:yellow;">4 </span><span style="color:yellow;">3 </span>0 25 31 15 <span style="color:yellow;">1 </span>0 0 0 0 0 <span style="color:yellow;">1 </span>0 0 0 0 <span style="color:yellow;">1 </span>0 5 0 0 0 0 0 | |
| Number of yellow entries: 145 | |
| </pre> | |
| </body> | |
| </html> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment