Best software for writing math proofs?

This page summarizes the projects mentioned and recommended in the original post on /r/math
Vim obsidian-md vim-plugin Obsidian Vimtex

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • vimtex

    VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

    • If you're on Mac, do you have any experience with Vim/NeoVim? If so I can highly recommend you VimTex which is a very well documented Vim/NeoVim plugin that eases the life of any LaTeX author. There's also a very good guide to set it up with other plugins to have the best experience.

  • obsidian-releases

    Community plugins list, theme list, and releases of Obsidian.

    • It's possible to combine LaTeX and markdown with the ability to cross-reference all your notes with Obsidian.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Second Brain App recommendation

    4 projects | /r/productivity | 4 Aug 2022

  • Vim / VimWiki question: How to open random entry

    3 projects | /r/vim | 22 Mar 2022

  • How does everyone keep notes in a (new) position

    3 projects | /r/cscareerquestions | 19 Mar 2022

  • VimTeX 2.14

    1 project | /r/neovim | 18 Jul 2023

  • setting up vimtex in nvchad

    1 project | /r/neovim | 20 Jun 2023