trepplein
Lila
Our great sponsors
trepplein | Lila | |
---|---|---|
2 | 591 | |
26 | 10,799 | |
- | - | |
0.0 | 10.0 | |
about 2 years ago | about 2 years ago | |
Scala | Scala | |
Apache License 2.0 | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
trepplein
-
Automated Theorem Provers?
The default kernel used is fairly large, since it does some optimisations for interactivity. However there are 3 independent checkers for Lean's output format, https://github.com/gebner/trepplein, https://github.com/leanprover/lean/tree/master/src/checker and https://github.com/leanprover/tc . They're all fairly small, with leanchecker being less than 1000 loc.
-
Formalising Mathematics: An Introduction
Lean allows for third party type checkers. There are relatively small alternative type checkers for Lean, e.g. [1].
Lean's power lies in its elaborator that breaks down complex tactic-based proofs to a core proof language. This elaboration process can be extended with custom tactics, making it way more powerful than metamath.
[1] https://github.com/gebner/trepplein/tree/master/src/main/sca...
Lila
- Thank you senpai!
- What new hobbies or interests have you recently picked up?
- What are some cool websites that most people don’t know exist?
-
Is it possible to disable the live game on the home screen?
personally, i think using lichess.org in a mobile browser is much smoother than the app
- Video games are getting way too complicated
-
WOTC - Please Save MTG Arena from Alchemy
Since Alchemy landed, I've been playing a lot more chess. The lichess client for Android is pretty awesome.
-
How can I get to 1700 before I die?
Playing lots and memorizing openings won't help much at your rating. Knowing opening principles helps. Doing chess puzzles in between games helps. Analyzing every game u play helps the most. It's free and easy to do on lichess.org . See if chess.com does free analysis and learning from your mistakes. I have jumped 200 points in the last year.
-
Playing without having anyone to play with
lichess.org
-
Chess Teachers of Reddit
David Pérez (2000 FIDE, 2150 chess.com Blitz, 2400 lichess.org Blitz)
-
White to mate in one
on lichess.org there is a limit to how much time you can add to your opponents clock
What are some alternatives?
CoqGym - A Learning Environment for Theorem Proving with the Coq proof assistant
Mindustry - The automation tower defense RTS
hott3 - HoTT in Lean 3
Agar.IO Clone
scala - Scala 2 compiler and standard library. Bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
TournamentMango
holbert - A graphical interactive proof assistant designed for education
monkeytype - The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.
Play - The Community Maintained High Velocity Web Framework For Java and Scala.
listudy - Listudy - chess training server
Plausible Analytics - Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.
battlecraft