Snowflake: Supporting Programming and Proofs.
Oluwatobi AlabiAnh VuPeter-Michael OseraPublished in: SIGCSE (2) (2023)
Keyphrases
- data warehouse
- programming language
- computer programs
- programming environment
- theorem prover
- theorem proving
- development environment
- data analysis
- expert systems
- decision procedures
- programming education
- machine learning
- formal proof
- natural deduction
- computer programming
- object oriented
- knowledge representation
- learning environment
- search engine
- artificial intelligence