2 HOL Light Tutorial formalmethods ml hol-light.github.io via tomsmeding 2026-10-15 05:53:12 | caches Archive.org Ghostarchive | 1 comment
Source: https://hol-light.github.io/tutorial/HTML/tutorial.html
random
← Back
Contributions
🔥 1 day streak · Longest 1
OctDecMarMayAugOct
🏆 Achievements 0 / 80
First steps 0/7
First Post
Published a first post
First Comment
Wrote a first comment
First Project
Shared a first project
First Gist
Shared a first gist
First Upload
Uploaded your first attachment
File Creator
Created a file in a project
Profiled
Customized your profile
Explorer 0/13
Curious
Read your first documentation page
Studious
Read 5 documentation pages
Scholar
Read 15 documentation pages
AI Curious
Talked to Devii for the first time
AI Whisperer
Had 25 conversations with Devii
First Fork
Forked a project for the first time
Forker
Forked 5 projects
Archivist
Downloaded a project archive
SEO Auditor
Ran an SEO diagnostics audit
Slop Hunter
Ran a AI usage analysis
Researcher
Ran a DeepSearch investigation
Deep Diver
Ran 10 DeepSearch investigations
Container Captain
Created a container instance
Engagement 0/12
Instigator
Started an Opinion War
First Blood
Fought in an Opinion War
War Veteran
Fought 50 Opinion War battles
Champion
Won an Opinion War
Bookmarker
Bookmarked your first item
Curator
Bookmarked 25 items
First Reaction
Reacted to content for the first time
Cheerleader
Reacted 50 times
First Star Given
Starred someone's work for the first time
Supporter
Gave 50 stars
Patron
Gave 250 stars
Pollster
Voted in a poll for the first time
Content 0/8
Prolific
Published 10 posts
Wordsmith
Published 50 posts
Veteran
Published 100 posts
Conversationalist
Wrote 25 comments
Debater
Wrote 100 comments
Builder
Shared 5 projects
Architect
Shared 10 projects
Snippet Collector
Shared 5 gists
Community 0/10
Donor
Donated bandwidth to the community
Gigabyte Donor
Donated 1 GB of bandwidth
10 GB Donor
Donated 10 GB of bandwidth
100 GB Donor
Donated 100 GB of bandwidth
Steady Donor
Donated on 30 different days
Connector
Followed 10 people
Messenger
Sent your first direct message
Chatterbox
Sent 100 direct messages
Friendly
Followed someone for the first time
Bug Reporter
Filed your first issue
Reputation 0/6
Rising Star
Earned 25 stars
Star Author
Earned 100 stars
Superstar
Earned 500 stars
Popular
Reached 10 followers
Influencer
Reached 50 followers
Celebrity
Reached 100 followers
Dedication 0/3
On Fire
Maintained a 7-day activity streak
Dedicated
Maintained a 30-day activity streak
Unstoppable
Maintained a 100-day activity streak
Code Farm 0/9
Green Thumb
Harvested your first build on the Code Farm
Master Farmer
Harvested 50 builds on the Code Farm
Good Neighbor
Watered a neighbour's build
Cat Burglar
Stole a ready build from another farm
Robbed
Had a build stolen from your farm
Enterprise Ready
Bought your first Code Farm Infrastructure building
Fort Knox
Upgraded your Code Farm Defense for the first time
Style Points
Bought your first Code Farm cosmetic
David vs Goliath
Raided a farm with 10x your coins and earned an Underdog boost
Quizzes 0/6
First Quiz
Created your first quiz
Quiz Author
Published your first quiz
Quiz Master
Published 10 quizzes
Quiz Taker
Completed your first quiz
Quiz Regular
Completed 25 quizzes
Flawless
Scored 100% on a quiz
Levels 0/5
Level 5
Reached level 5
Level 10
Reached level 10
Level 25
Reached level 25
Level 50
Reached level 50
Level 100
Reached level 100
Milestones 0/1
Member
Joined DevPlace