An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA

First Page		Document Content
Date: 2017-09-19 19:50:55 Computing Software engineering Computer programming Functional programming Subroutines Computability theory Theoretical computer science Computer algebra systems Pattern matching Wolfram Mathematica Expr Anonymous function		An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA Add to Reading List Source URL: pxtp.github.io Download Document from Source Website File Size: 275,90 KB Share Document on Facebook

	REPUBLIC OF KENYA THE NATIONAL TREASURY & MINISTRY OF PLANNING TENDER NOTICE EXTENSION OF TENDER CLOSING DATE The National Treasury wishes to notify all the prospective bidders that the closing date of the following expr DocID: 1uYjo - View Document
	REPUBLIC OF KENYA THE NATIONAL TREASURY & MINISTRY OF PLANNING TENDER NOTICE EXTENSION OF TENDER CLOSING DATE The National Treasury wishes to notify all the prospective bidders that the closing date of the following expr DocID: 1umBF - View Document
	UC Hastings College of the Law prohibits discrimination against or harassment of any person employed or seeking employment with the College on the basis of race, color, national origin, religion, sex, gender, gender expr DocID: 1tM4Q - View Document
	L Expr Gr Eco Nancy_1610271.pdf DocID: 1sv9e - View Document
	Hong Kong Exchanges and Clearing Limited and The Stock Exchange of Hong Kong Limited take no responsibility for the contents of this supplemental notice, make no representation as to its accuracy or completeness and expr DocID: 1srhm - View Document