HOL Light Tutorial
Web page · https://hol-light.github.io/tutorial/HTML/tutorial.html
First seen by Oriel on .
Metric trends
Last 30 days · Up to 120 recorded samples per source and metric · First and latest retained
Points
Score reported by the source.
- Hacker News: 10, latest observation ; +6 over observed period since
- Lobsters: 2, latest observation ; 0 over observed period since
Comments
Comment count reported by the source.
- Hacker News: 3, latest observation ; +3 over observed period since
- Lobsters: 1, latest observation ; 0 over observed period since
Aliases
| Source | External ID | URL |
|---|---|---|
| Hacker News | 50112204 | https://hol-light.github.io/tutorial/HTML/tutorial.html |
| Lobsters | zqa5yz | https://hol-light.github.io/tutorial/HTML/tutorial.html |