Proof assistant/Bibliography

.