Search results

Interfacing with normal Rust code

discussion

Status: Open.

#1270 In advancedresearch/prop;

· bvssvni opened on Jan 18, 2023

pow_not_e collapses theory(a) to up(a)

discussion

Status: Open.

#855 In advancedresearch/prop;

· bvssvni opened on Jan 6, 2023

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

discussion

draft

Status: Open.

#611 In advancedresearch/prop;

· bvssvni opened on Dec 2, 2022

Does Avatar Modal Logic make sense?

discussion

Status: Open.

#559 In advancedresearch/prop;

· bvssvni opened on Nov 11, 2022

Current set of HOOO axioms

draft

information

Status: Open.

#502 In advancedresearch/prop;

· bvssvni opened on Oct 27, 2022

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

discussion

draft

Status: Open.

#491 In advancedresearch/prop;

· bvssvni opened on Oct 20, 2022

Use 1-avatar for ◇a

discussion

draft

Status: Open.

#468 In advancedresearch/prop;

· bvssvni opened on Oct 4, 2022

Use T, F instead of True, False

discussion

draft

Status: Open.

#409 In advancedresearch/prop;

· bvssvni opened on Sep 27, 2022

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

discussion

draft

Status: Open.

#395 In advancedresearch/prop;

· bvssvni opened on Sep 26, 2022

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

discussion

draft

Status: Open.

#367 In advancedresearch/prop;

· bvssvni opened on Sep 23, 2022

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

discussion

draft

Status: Open.

#343 In advancedresearch/prop;

· bvssvni opened on Sep 2, 2022

Add AProp trait

discussion

draft

Status: Open.

#319 In advancedresearch/prop;

· bvssvni opened on Aug 13, 2022