The Pikachu Programming Language - A Programming Language Made For Pikachus Computer Science |
| The Pikachu Programming Language - A Programming Language Made For Pikachus Posted: 06 May 2018 10:29 AM PDT |
| Which interactive theorem prover for real analysis proofs Posted: 07 May 2018 03:30 AM PDT Suppose I want to do some proofs that are typically given as assignments in real analysis. Is this feasible at all? Which theorem provers would be the most fitting to try this? [link] [comments]  |
| You are subscribed to email updates from Computer Science: Theory and Application. To stop receiving these emails, you may unsubscribe now. | Email delivery powered by Google |
| Google, 1600 Amphitheatre Parkway, Mountain View, CA 94043, United States | |
No comments:
Post a Comment