MML meaning in Academic & Science ?

Answer: What is Mizar Mathematical Library mean?

The Mizar system consists of a formal language for writing mathematical definitions and proofs, a proof assistant, which is able to mechanically check proofs written in this language, and a library of formalized mathematics, which can be used in the proof of new theorems. The system is maintained and developed by the Mizar Project, formerly under the direction of its founder Andrzej Trybulec.

In 2009 the Mizar Mathematical Library was the largest coherent body of strictly formalized mathematics in existence.

reference

Full Form	Category
Mote Marine Laboratory	Academic & Science
Mizar Mathematical Library	Academic & Science
Maker Markup Language	Academic & Science
Multiscale Modeling Language	Academic & Science
Machine to Machine Language	Academic & Science
Mathematical Modeling Language	Academic & Science
Marshall (mn)	Airport Code
Medusa Mining	Business
Medusa Mining Ltd	Business
Muslim Matrimonial Link	Community
Milli Muslim League	Community
mobile multilink	Computer and Networking
Minivend Markup Language	Computing
Media Markup Language	Computing
Mail Markup Language	Computing
Music Macro Language	Computing
Metis Model Language	Computing
Medical Markup Language	Computing
Mime Markup Language	Computing
Math Markup Language	Computing
Motion Management Language	Computing
Man to Machine Language	Computing
Meta Module List	Database Management
Man Machine Lotos	General
Mammoth Man Lips	General
Music Markup Language	General
Matter meteor local	General
Mechanically Mixed Layer	General
Multi Mission Launcher	General
Major Mind Loss	General
Mahindra and Mahindra Limited	General
Morris Motors Limited	General
Michigan Municipal League	Governmental
Maryland Municipal League	Governmental
Mississippi Municipal League	Governmental
Multi Missile Launcher	Governmental
Missouri Municipal League	Governmental
Military Mountain Leader	Governmental
MADAN MAHAL	Indian Railway Station
Miyazaki Mailing List	Internet
Mopar Mailing List	Internet
Mysore Minerals Limited	Karnataka Government
Medial Meniscus Ligament	Medical
Micro Missile Launcher	Military and Defence
Mortar Mount Leg	Military and Defence
Material Measurement Laboratory	Physics Related
Marshall, Minnesota USA	Regional
Morrowind Mod Library	Softwares
Man Machine Language	Softwares
Master Measurement(s) List	Space Science
Murder Mystery League	Sports
Mega Man Legends	Sports
Master Muscle List	Sports