theowinterhalter/formal-type-theory issues and pull requests

#51 - Add substitution sbterminal

Pull Request - State: closed - Opened by TheoWinterhalter about 7 years ago

#50 - Forgetting annotations

Pull Request - State: closed - Opened by TheoWinterhalter about 7 years ago

#49 - Syntax as class

Pull Request - State: closed - Opened by TheoWinterhalter about 7 years ago

#48 - From Andrej's fork

Pull Request - State: closed - Opened by TheoWinterhalter about 7 years ago

#47 - Syntax as class

Pull Request - State: closed - Opened by TheoWinterhalter about 7 years ago

#46 - Cure boolean blindness

Pull Request - State: closed - Opened by andrejbauer about 7 years ago

#45 - Syntax as class

Pull Request - State: closed - Opened by TheoWinterhalter about 7 years ago

#44 - Identity type is now optional

Pull Request - State: closed - Opened by TheoWinterhalter over 7 years ago

#43 - Improve LaTeX, close #2

Pull Request - State: closed - Opened by andrejbauer over 7 years ago

#42 - PDF of rules does not display rules with condition flags

Issue - State: closed - Opened by itaibn over 7 years ago - 3 comments

#41 - Better README, Makefile, and improved LaTeX generation

Pull Request - State: closed - Opened by andrejbauer over 7 years ago - 2 comments

#40 - Configurable syntax (WIP)

Pull Request - State: closed - Opened by TheoWinterhalter over 7 years ago - 4 comments

#39 - Add MIT license.

Pull Request - State: closed - Opened by andrejbauer over 7 years ago - 2 comments

#38 - Make Π-types optional

Pull Request - State: closed - Opened by TheoWinterhalter over 7 years ago

#37 - Fix coq2latex.

Pull Request - State: closed - Opened by gebner over 7 years ago - 2 comments

#36 - El now depends on a universe level

Pull Request - State: closed - Opened by TheoWinterhalter almost 8 years ago

#35 - Make more things optional

Pull Request - State: closed - Opened by TheoWinterhalter almost 8 years ago

#34 - Extend the universes with a Prop universe and more generic rules

Pull Request - State: closed - Opened by TheoWinterhalter almost 8 years ago

#34 - Extend the universes with a Prop universe and more generic rules

Pull Request - State: closed - Opened by TheoWinterhalter almost 8 years ago

#33 - Alternative syntax with named variables

Pull Request - State: closed - Opened by TheoWinterhalter almost 8 years ago - 2 comments

#32 - Fixing generation of rules as PDF

Issue - State: closed - Opened by TheoWinterhalter almost 8 years ago
Labels: bug, help wanted

#31 - Clean Slate

Pull Request - State: closed - Opened by TheoWinterhalter almost 8 years ago

#30 - Universes

Pull Request - State: closed - Opened by TheoWinterhalter almost 8 years ago - 2 comments

#29 - Examples

Pull Request - State: closed - Opened by TheoWinterhalter almost 8 years ago

#28 - Speed issues

Issue - State: closed - Opened by TheoWinterhalter almost 8 years ago - 1 comment
Labels: enhancement, help wanted

#27 - Should constructors carry all typing and context information?

Issue - State: closed - Opened by TheoWinterhalter almost 8 years ago

#26 - Consolidate inversion lemmas

Issue - State: closed - Opened by haselwarter almost 8 years ago - 2 comments

#25 - Translation attempt

Pull Request - State: closed - Opened by TheoWinterhalter almost 8 years ago

#24 - Config via classes

Pull Request - State: closed - Opened by TheoWinterhalter almost 8 years ago - 3 comments

#23 - Zero shift

Pull Request - State: closed - Opened by TheoWinterhalter almost 8 years ago - 2 comments

#22 - Simpler substitutions (not yet ready)

Pull Request - State: closed - Opened by TheoWinterhalter almost 8 years ago - 8 comments
Labels: enhancement

#21 - Elimination of Substitutions

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago - 3 comments
Labels: enhancement, help wanted, sanity

#20 - Reorder premises in rules

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago - 2 comments
Labels: enhancement

#19 - Clean ETT for unneeded premises

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago - 1 comment
Labels: enhancement, sanity

#18 - Continuous Integration

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago
Labels: meta

#17 - Complete sanity of PTT

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago
Labels: sanity

#16 - Complete uniqueness of typing

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago
Labels: sanity

#15 - Paranoid sanity

Pull Request - State: closed - Opened by TheoWinterhalter about 8 years ago
Labels: sanity

#14 - Translation

Pull Request - State: closed - Opened by TheoWinterhalter about 8 years ago
Labels: translation

#13 - Definition of equivalences

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago
Labels: translation

#12 - ITT definition and sanity

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago
Labels: sanity

#11 - Coercions should be invertible

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago
Labels: translation

#10 - Doing something about J

Issue - State: closed - Opened by andrejbauer about 8 years ago - 3 comments
Labels: sanity

#9 - Translation of SubstShift (and substitutions in general)

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago - 2 comments
Labels: translation

#8 - Typing for CTT

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago - 6 comments
Labels: translation

#7 - Translation of SubstZero

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago
Labels: translation

#6 - Proving a theorem about safety of reduction

Issue - State: closed - Opened by TheoWinterhalter about 8 years ago - 1 comment
Labels: sanity

#5 - Substitutions (Type Theory is Sane)

Pull Request - State: closed - Opened by TheoWinterhalter about 8 years ago - 3 comments
Labels: sanity

#4 - Pedestrian

Pull Request - State: closed - Opened by TheoWinterhalter about 8 years ago
Labels: sanity

#3 - Magic

Pull Request - State: closed - Opened by TheoWinterhalter about 8 years ago
Labels: sanity

#2 - Uniqueness of typing

Pull Request - State: closed - Opened by andrejbauer about 8 years ago - 3 comments
Labels: sanity

#1 - Explicit substs

Pull Request - State: closed - Opened by TheoWinterhalter about 8 years ago
Labels: sanity

GitHub / theowinterhalter/formal-type-theory issues and pull requests