Skip to content
View JUrban's full-sized avatar
65 followers · 0 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report JUrban

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

JUrban / MPTP2078

The MPTP2078 benchmark

OpenEdge ABL 8 Updated Oct 13, 2017

JUrban / mizar-items

Forked from jessealama/mizar-items

Breaking up mizar articles into bits and computing relations among them.

Perl 1 Updated Dec 5, 2010

jessealama / mizar-items

Breaking up mizar articles into bits and computing relations among them.

Common Lisp 6 2 Updated Dec 24, 2013

JUrban / MMLLicense

Licensing for the Mizar Mathematical Library

TeX 6 1 Updated Dec 9, 2011

JUrban / math-classes

Forked from rocq-community/math-classes
Verilog 1 1 Updated Jul 27, 2010

JUrban / mwiki

Perl 5 3 Updated Dec 12, 2011

JUrban / ott2miz

Emacs Lisp 6 1 Updated Mar 25, 2017

JUrban / MPTP2

Prolog 20 6 Updated Feb 22, 2017

JUrban / MPTP

Perl 2 Updated Feb 18, 2013

JUrban / FlotterOnTPTP

Perl 2 1 Updated Apr 29, 2009

JUrban / xsl4mizar

XSLT 6 3 Updated Nov 13, 2020