Alternatives and similar repositories for nareh:

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

• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 2 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆289Updated this week
• tomtomjhj / vscoq.nvim
  A Neovim client for VsCoq 2 vscoqtop.
  ☆10Updated last month
• agda / cornelis
  agda-mode for neovim
  ☆148Updated this week
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated last week
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆26Updated 5 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆338Updated this week
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆23Updated this week
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆37Updated 5 months ago
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆166Updated this week
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆56Updated last year
• ccz181078 / Coq-BB5
  ☆191Updated this week
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆49Updated last year
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated 2 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆366Updated this week
• blerner / bottlenose
  CS assignment / grade mangement system
  ☆4Updated 6 months ago
• isti115 / agda.nvim
  NeoVim plugin for interacting with Agda written in Lua
  ☆18Updated last year
• Treeniks / isabelle-lsp.nvim
  ☆12Updated 5 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• mrcjkb / neotest-haskell
  Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty
  ☆57Updated this week
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆515Updated last month
• janestreet / install-ocaml
  Instructions for setting up an OCaml development environment
  ☆97Updated 5 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆247Updated this week
• nomeata / loogle
  Mathlib search tool
  ☆84Updated last month
• quinn-dougherty / ladr
  linear algebra done right in coq
  ☆10Updated 3 years ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆173Updated this week
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆51Updated last month