Sharing proofs with predicative theories through universe polymorphic elaboration.
Thiago FelicissimoFrédéric BlanquiPublished in: CoRR (2023)
Keyphrases
- equational theories
- information sharing
- theorem prover
- formal proofs
- theoretical framework
- theorem proving
- data sharing
- cognitive psychology
- databases
- computer mediated
- mathematical proofs
- formal models
- information dissemination
- causal reasoning
- share information
- multiple users
- static analysis
- computer programs
- computational models
- knowledge sharing
- object oriented
- social networks
- genetic algorithm