Skip to content

The Linux Portal Site

Home
Best Software
Reviews
Series
Info
Search

Tag: Coq

Best Free and Open Source Proof Assistants

Coq – formal proof management system

November 8, 2023 Steve Emms Scientific

Coq is a formal proof management system. This is free and open source software developed by a wide range of institutions.

Read more

Best Free Software

Documents	Internet	Education
Audio	Video	Graphics
Admin	Desktop	Productivity
Science	Games	Security
Utilities	Coding	Finance
Web Apps	Other	Books

Data Science

Take our free interactive courses in data science. There are courses for Python using pandas and plotnine and R using ggplot2.

Get up to speed in 20 minutes. No programming knowledge is required.

Recent Comments

Jake on Audacity – multi-track audio editor and recorder
Steve Emms on Linux for Starters: Your Guide to Linux – Introduction
Torin Doyle on Linux for Starters: Your Guide to Linux – Introduction
Steve Emms on 19 Best Free and Open Source Replacements for du
Torin Doyle on LinuxLinks – The Home of Linux
Steve Emms on LinuxLinks – The Home of Linux
Torin Doyle on LinuxLinks – The Home of Linux
Torin Doyle on Best Linux Desktop Environments: Strong and Stable
Torin Doyle on YaKuake – drop-down terminal
Steve Emms on 20 Best Free and Open Source Linux GUI Time Tracking Software

Programming Books

Read our curated lists of great free programming books. Learn Java, C, Python, C++, C#, JavaScript, PHP, and many more languages.

Alternatively, check out our series of great free programming tutorials.

Feedback

Help expand our coverage of Linux software by completing our:

Open-source software form
Linux distro form

Your feedback is very much appreciated. Complete our contact form.

Support Us

Donate to LinuxLinks

Thank you for supporting LinuxLinks. If you like our site, the best way to ensure it remains available is to make a donation.

Replace Proprietary Software

Migrate from large multinational software companies and embrace free and open source solutions.

Google	Microsoft	Apple
Adobe	IBM	Autodesk
Oracle	Atlassian	Corel
Cisco	Intuit	SAS
Progress	Salesforce	Citrix

Reviews

We’ve written tons of in-depth and completely impartial reviews of open source software. Read our reviews.

New to Linux?

Begin your Linux journey with our easy-to-understand guide designed for newcomers.

Mega Compilations

100 GUI Apps
100 TUI Apps
100 CLI Apps

Recent Posts

Best Free and Open Source Alternatives to Microsoft Forms
AUDio MEasurement System – oscilloscope and spectrum analyzer
Oshin OS is an Arch Linux distribution
Pasaffe is an easy to use password manager for GNOME
10 Best Free and Open Source Linux Satellite Tools
VictoriaMetrics is a scalable solution for monitoring and managing time series data
Free42 is an HP-42S calculator simulator
Backrest – web UI and orchestrator for restic backup
Activepieces is business automation software
DebLight OS is a lightweight and fast Linux distribution

Desktops

9 Best Desktops
24 KDE Themes
33 KDE Widgets
42 GNOME Extensions
Pantheon, Trinity, LXDE

Archives

Archives

Related

Contact us
Link us
FAQ
ForFOSS.com
OSSBlog.org
Privacy Policy

© LinuxLinks 1998-2025: Designed by LinuxLinks.