Upload Language (EN)Support

Business Mobile Social Media Marketing Technology Art & Photos Career Design Education Presentations & Public Speaking Government & Nonprofit Healthcare Internet Law Leadership & Management Automotive Engineering Software Recruiting & HR Retail Sales Services Science Small Business & Entrepreneurship Food Environment Economy & Finance Data & Analytics Investor Relations Sports Spiritual News & Politics Travel Self Improvement Real Estate Entertainment & Humor Health & Medicine Devices & Hardware Lifestyle

Change Language

LanguageEnglishEspañolPortuguêsFrançaisDeutsche

Yoshihiro Imai

Sort by

Latest

Most popular

Coq for beginners

byYoshihiro Imai

Ocamlmeeting2010

byYoshihiro Imai

No infographics yet

No documents yet

No likes yet

Personal Information

Organization / Workplace

ocaml-nagoya

Location

Aichi Japan

Occupation

a programmer

Website

d.hatena.ne.jp/yoshihiro503/

About

I am a Coq user.

About Support Terms Privacy Copyright Your Privacy Choices

© 2026 Slideshare from Scribd