# Downloads - Da Vinci - Coverage Requirements Discovery v2.2.0-snapshot

## Downloads

### Links

This implementation guide is web-based and is intended to be browsed online. However, for the convenience of implementers, both this implementation guide, various sub-packages of it, and some of the source specifications are available for download. The following links allow you to download various parts of this implementation guide and other referenced implementation guides for local use.

* This [full IG](../full-ig.zip)
* The [resource definitions](../definitions.json.zip) from this IG for use with the FHIR validator (see below)
*  Example files: [json](../examples.json.zip), [ttl](../examples.ttl.zip), and [xml](../examples.xml.zip)
* The full [FHIR R4 core](http://hl7.org/fhir/R4/fhir-spec.zip) specifications and other [FHIR core downloads](http://hl7.org/fhir/R4/downloads.html)
* The [CDS Hooks](https://github.com/cds-hooks/docs/archive/master.zip) specification
* The [SMART on FHIR](http://www.hl7.org/fhir/smart-app-launch/full-ig.zip) specification
* A [validator](https://fhir.github.io/latest-ig-validator/org.hl7.fhir.validator.jar) that can be used to check FHIR resource instance validity and [instructions on how to use it](https://confluence.hl7.org/display/FHIR/Using+the+FHIR+Validator)

This is an R4 IG. None of the features it uses are changed in R4B, so it can be used as is with R4B systems. Packages for both [R4 (hl7.fhir.us.davinci-crd.r4)](../package.r4.tgz) and [R4B (hl7.fhir.us.davinci-crd.r4b)](../package.r4b.tgz) are available.

