Report and Information for M.Sc. 3rd semester project on rewriting Idris parser and introducing a proof tactic for induction
ahmadsalim / tools-and-tactics-for-idris---report Goto Github PK
View Code? Open in Web Editor NEWReport and Information for M.Sc. 3rd semester project on rewriting Idris parser and introducing a proof tactic for induction