mathlib3
feat(data/finmap): extend the API
#1223
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
feat(data/finmap): extend the API
#1223
mergify
merged 1 commit into
master
from
finmap
feat(data/finmap): extend the API
9665c3af
cipher1024
requested a review
6 years ago
digama0
approved these changes on 2019-07-13
digama0
added
ready-to-merge
mergify
merged
6db58292
into master
6 years ago
mergify
deleted the finmap branch
6 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
digama0
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub