FORMALIZATION OF SET THEORY IN COQ

Bachelor's

Saved in:

Bibliographic Details
Main Author:	LEOW WEI XIANG
Other Authors:	MATHEMATICS
Published:	2021
Online Access:	https://scholarbank.nus.edu.sg/handle/10635/202496
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-202496
record_format	dspace
spelling	sg-nus-scholar.10635-2024962021-10-12T02:04:30Z FORMALIZATION OF SET THEORY IN COQ LEOW WEI XIANG MATHEMATICS DILIP RAGHAVAN Bachelor's BACHELOR OF SCIENCE (HONOURS) 2021-10-11T01:25:20Z 2021-10-11T01:25:20Z 2017 LEOW WEI XIANG (2017). FORMALIZATION OF SET THEORY IN COQ. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/202496
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	Bachelor's
author2	MATHEMATICS
author_facet	MATHEMATICS LEOW WEI XIANG
author	LEOW WEI XIANG
spellingShingle	LEOW WEI XIANG FORMALIZATION OF SET THEORY IN COQ
author_sort	LEOW WEI XIANG
title	FORMALIZATION OF SET THEORY IN COQ
title_short	FORMALIZATION OF SET THEORY IN COQ
title_full	FORMALIZATION OF SET THEORY IN COQ
title_fullStr	FORMALIZATION OF SET THEORY IN COQ
title_full_unstemmed	FORMALIZATION OF SET THEORY IN COQ
title_sort	formalization of set theory in coq
publishDate	2021
url	https://scholarbank.nus.edu.sg/handle/10635/202496
_version_	1715201117547134976

Similar Items