Giters
Yosuke Ito (Yosuke-Ito-345)

Yosuke-Ito-345

User data from Github https://github.com/Yosuke-Ito-345

9

followers

11

following

64

stars

Company:Sompo Himawari Life Insurance Inc.

Location:Tokyo, Japan

Home Page:https://orcid.org/0000-0003-1558-2624

GitHub:@Yosuke-Ito-345

Twitter:@glacier345

Yosuke Ito's repositories

Actuary

Formalization of the basic actuarial mathematics using Coq

Language:CoqLicense:MITStargazers:22Issues:2Issues:1

Actuarial-Mathematics

Formalization of Actuarial Mathematics in Isabelle/HOL

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

analysis

Mathematical Components compliant Analysis Library

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

coq2html

An HTML documentation generator for Coq source files

Language:OCamlLicense:GPL-2.0Stargazers:0Issues:0Issues:0

math-comp

Mathematical Components

Language:CoqStargazers:0Issues:0Issues:0

Notes

Miscellaneous Notes

Stargazers:0Issues:0Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

platform

Multi platform setup for Coq, Coq libraries and tools

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0