Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Coq2latex

A command-line tool to generate Latex (inference rules) from inductive coq definitions.
Stars
20
License
No license specified
Open Issues
1
Most Recent Commit
8 years ago
Programming Language
C#
Categories
Repo
Alternatives To Coq2latex
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Sf204
4 years ago1HTML
Mirror of Software Foundations in PDF
Principia193
9 months ago1gpl-3.0TeX
The Principia Rewrite
Coq2latex20
8 years ago1C#
A command-line tool to generate Latex (inference rules) from inductive coq definitions.
Alternatives To Coq2latex
Select To Compare
Principia ⭐ 193
The Principia Rewrite
most recent commit 9 months ago


Suggest An Alternative To coq2latex
Alternative Project Comparisons
Coq2latex vs Sf
Coq2latex vs Principia
Popular Coq Projects
Popular Latex Projects
Manim ⭐ 55,880
Animation engine for explanatory math videos
dependent packages 6total releases 9latest release April 13, 2022most recent commit 3 months agopypi manimgl} Downloads
Marktext ⭐ 43,252
📝A simple and elegant markdown editor, available for Linux, macOS and Windows.
total releases 1latest release January 19, 2022most recent commit 3 months ago
Katex ⭐ 17,588
Fast math typesetting for the web.
dependent packages 1,174total releases 75latest release October 02, 2023most recent commit 2 months agonpm katex} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Sharp
Latex
Command Line Tool
Coq
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.