Alternatives and similar repositories for quizicist

Users that are interested in quizicist are comparing it to the libraries listed below

• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 2 months ago
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆23Updated 3 years ago
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆37Updated 2 years ago
• iwilare / categorical-automata
  Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…
  ☆18Updated last year
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆148Updated this week
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆91Updated last month
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆37Updated this week
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 7 months ago
• djvelleman / HTPILeanPackage
  ☆30Updated last week
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated 2 weeks ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆110Updated this week
• cmakler / kgjs
  Javascript Renderer for KineticGraphs
  ☆42Updated 7 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆52Updated 2 years ago
• pedal-edu / pedal
  A collection of tools to analyze student's Python source code
  ☆31Updated 5 months ago
• bluefishjs / bluefish-archive
  A SolidJS diagramming framework
  ☆74Updated 9 months ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆37Updated 2 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆63Updated 3 months ago
• leanprover / verso
  Lean documentation authoring tool
  ☆167Updated this week
• UCSD-PL / proverbot9001
  ☆42Updated 4 months ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 8 months ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆42Updated this week
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆23Updated 8 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 7 months ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆104Updated 4 months ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆24Updated 3 years ago