Toggle navigation
Add Resource
About
FAQ
Sign In / Register
Please sign in to interact with this page. There is no need to register for an account, simply enter your name to stay signed in for 24 hours and you will be able to make a maximum of 10 likes and 5 comments during your time signed in.
First Name:
Last Name:
Mizar Project
Submitted by
on Jun 18 2014
0
Tweet
}
Suggest Revision
By:
Project:
http://mizar.org/project/
From:
Paper:
Summary
Comments (
0
)
Resource Type:
Project
License:
Other/Unknown
Language:
Data Format:
Description
An attempt to reconstruct mathematical vernacular in a computer-oriented environment.
Categorized in:
Applications
|
Science & Mathematics
|
Architectures and Languages
|
Programming Languages
Sign in to Comment
Post comment
Cancel