Explore projects

View hwexam project

courses / FAU / KRMT / hwexam
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 1 0 0

Updated Oct 01, 2025
View hol-light-export project

HOL-Light / hol-light-export
GNU Affero General Public License v3.0

0

Updated Sep 10, 2025

0 0 0 0

Updated Sep 10, 2025
View MML project

Mizar / MML

This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.

0

Updated Jul 03, 2023

0 0 3 0

Updated Jul 03, 2023
View HOTTbook project

nlab / HOTTbook

0

Updated Oct 18, 2020

0 0 0 0

Updated Oct 18, 2020
View Distribution project

tptp / Distribution

library wrapper for http://www.cs.miami.edu/~tptp/TPTP/Distribution/

0

Updated Oct 11, 2018

0 0 0 0

Updated Oct 11, 2018
View TestOEIS project

OEIS / TestOEIS

sub-library of OEIS for testing

0

Updated Jun 23, 2016

0 0 0 0

Updated Jun 23, 2016