compsoc-edinburgh / betterinformatics
Welcome to Better Informatics. The student run website for students in the School of Informatics.
☆72Updated this week
Alternatives and similar repositories for betterinformatics
Users that are interested in betterinformatics are comparing it to the libraries listed below
Sorting:
- University of Edinburgh Programming Club☆56Updated 4 years ago
- A understandable Haskell tracer.☆14Updated 3 years ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆86Updated 3 years ago
- A LaTeX Typesetting Game☆248Updated last month
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.☆22Updated 3 years ago
- Solution to Algebra, Chapter 0☆89Updated last month
- Student-run wiki for students interested in computer science at Cornell University☆93Updated last year
- Lean 4 tutorial files☆35Updated last year
- A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪☆21Updated last week
- ☆24Updated 6 months ago
- ☆232Updated 9 months ago
- Visual Studio Code extension for Coq☆382Updated this week
- A manual for UM-SJTU JI students to survive better.☆35Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆98Updated 3 months ago
- Catalog Of Math Problems Formalized In Lean☆154Updated this week
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆21Updated 4 years ago
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆46Updated 10 months ago
- Lindemann–Weierstrass Theorem☆11Updated last year
- A Lean file formatter☆67Updated 2 years ago
- A proof assistant and a dependently-typed language☆315Updated this week
- 上海科技大学非官方Latex模版库☆14Updated 7 years ago
- A list of awesome lean4 projects. Feel free to add your project.☆84Updated last week
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- "Every Author as First Author" paper from SIGTBD 2023, about superimposing author names in a stack☆114Updated 4 months ago
- Theory of Computing Report☆12Updated 7 months ago
- An introduction to theorem proving in Lean for the impatient.☆188Updated 2 weeks ago
- Coq code formatter☆23Updated this week
- My solutions to exercises in "Logical Foundations" (2018-2019)☆10Updated 6 years ago