GitHub · Where software is built

Preview

Labels Milestones New issue

Interfacing with normal Rust code

#1270

· bvssvni opened

on Jan 18, 2023

`pow_not_e` collapses `theory(a)` to `up(a)`

#855

· bvssvni opened

on Jan 6, 2023

Make Avatar Modal Logic use `¬¬a` instead of `false^(false^a))`

#611

· bvssvni opened

on Dec 2, 2022

Does Avatar Modal Logic make sense?

#559

· bvssvni opened

on Nov 11, 2022

Current set of HOOO axioms

#502

· bvssvni opened

on Oct 27, 2022

Introduce SProp trait for `!~a == ~!a`

#491

· bvssvni opened

on Oct 20, 2022

Use 1-avatar for `◇a`

#468

· bvssvni opened

on Oct 4, 2022

Use `T, F` instead of `True, False`

#409

· bvssvni opened

on Sep 27, 2022

Use `false^!(a == b)` for Leibniz equality

#395

· bvssvni opened

on Sep 26, 2022

Check `hom_eq(2, a, b) == ((a ~~ b) | (a ~!~ b))`

#367

· bvssvni opened

on Sep 23, 2022

Add type alias for `!a == !!b` for type theoretic existential philosophy

#343

· bvssvni opened

on Sep 2, 2022

Add `AProp` trait

#319

· bvssvni opened

on Aug 13, 2022