Zepl is a lightweight, simple and easy to use REPL integration package for Vim 8.1+ and Neovim. It provides a small set of key bindings and commands to start and interact with a running REPL.
lean-repl-py is a Python application designed to interact with the Lean REPL (Read-Eval-Print Loop). It provides an interface for sending commands to Lean and processing responses, making it easier to ...
Our phones help us keep in touch with people, manage our schedules, make payments, listen to music, work, store photos and videos, and more. For these reasons, losing or misplacing your phone can be a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback