prop
Propositional logic with types in Rust
파일 탐색기
최종 버전 다운로드 (.zip)- psq.dyon
- rec-syntax.txt
- rec.dyon
- ava_modal.rs
- constructive.rs
- hooo_dual_and.rs
- ps_bool.rs
- ps_comp.rs
- ps_formation.rs
- ps_norm.rs
- ps_uniq_q.rs
- qubit_trait.rs
- sq_trans.rs
- sq_uniq.rs
- symbolic_distinction.rs
- app.rs
- bool_alg.rs
- comp.rs
- dep.rs
- dup.rs
- eqx.rs
- feq.rs
- fin.rs
- fun_ext.rs
- id.rs
- inv.rs
- is_const.rs
- lam.rs
- list.rs
- natc.rs
- natp.rs
- norm.rs
- phott.rs
- real.rs
- subst.rs
- tup.rs
- typ.rs
- pow.rs
- tauto.rs
- lprop.rs
- pord.rs
- ty.rs
- and.rs
- ava_modal.rs
- avatar_extensions.rs
- con_qubit.rs
- eq.rs
- existence.rs
- fun.rs
- fun_traits.rs
- halt.rs
- hooo.rs
- hooo_traits.rs
- hott.rs
- imply.rs
- lib.rs
- mid.rs
- modal.rs
- nat.rs
- not.rs
- or.rs
- path_semantics.rs
- quality.rs
- quality_traits.rs
- quantify.rs
- qubit.rs
- queenity.rs
- sd.rs
- univalence.rs
- .gitignore
- Cargo.toml
- LICENSE
- README.md
// repository documentation
Was this content helpful?
(0 ratings)