FreshPorts -- math/proofgeneral/pkg-descr

As an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC

The recently imposed "must be logged in" restriction is a response to increased bot traffic on the site. This affects search, commits, and vuxml pages.

Search engines are not blocked. Try using "site:www.freshports.org" and your search terms.

non port: math/proofgeneral/pkg-descr

Number of commits found: 1

Wednesday, 31 Aug 2005

10:36 barner

Add proofgeneral 3.5, a generic interface for proof assistants.

PR:             84788
Submitted by:   Timothy Bourke <timbob@bigpond.com>

Number of commits found: 1

Login
User Login Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts? About the authors Issues FAQ How big is it? Security Policy Privacy Blog Contact

Search
Enter Keywords: more...

Latest Vulnerabilities

mariadb1011-server^*	Jun 30
mariadb106-server^*	Jun 30
mariadb114-server^*	Jun 30
mariadb118-server^*	Jun 30
apache24	Jun 08
strongswan	Jun 08
unbound	Jun 08
weechat	Jun 07
weechat	Jun 07
gitlab	Jun 06
apache24	Jun 04
powerdns	Jun 04
xorg-server	Jun 01
xwayland	Jun 01
chromium	May 30

27 vulnerabilities affecting 291 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2026-06-08 21:13:17 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	34566
Broken	101
Deprecated	321
Ignore	215
Forbidden	0
Restricted	1
No CDROM	1
Vulnerable	40
Expired	15
Set to expire	250
Interactive	0
new 24 hours	2
new 48 hours	4
new 7 days	18
new fortnight	70
new month	139